JavaScript Pipeline

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

Sign in to view logs

Triggered via pull request December 1, 2024 18:24

schroeding

synchronize #892

resources-update-core-assignment

Status Success

Total duration 1m 23s

Artifacts –

javascript.yml

on: pull_request

Perform linting

Building the application