Skip to content

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

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
Status Success
Total duration 28s
Artifacts

black.yml

on: pull_request
Fit to window
Zoom out
Zoom in