Skip to content
Check code format

Draft: Update core assignment algorithm in benchexec/resources.py #970

Sign in to view logs

Draft: Update core assignment algorithm in benchexec/resources.py

Draft: Update core assignment algorithm in benchexec/resources.py #970

Triggered via pull request December 1, 2024 18:24
@schroedingschroeding
synchronize #892
resources-update-core-assignment
Status Success
Total duration 21s
Artifacts –

black.yml

on: pull_request
check
11s
check
Fit to window
Zoom out
Zoom in