Skip to content

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

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

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

Triggered via pull request December 1, 2024 18:38
Status Success
Total duration 21s
Artifacts

black.yml

on: pull_request
Fit to window
Zoom out
Zoom in