Skip to content
Ruff

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

Sign in to view logs

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

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

Triggered via pull request December 2, 2024 07:51
@schroedingschroeding
synchronize #892
resources-update-core-assignment
Status Success
Total duration 28s
Artifacts –

ruff.yml

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