Skip to content
Back to pull request #1495

improvement: delete ongoing compilations from tree view #915

Sign in to view logs

improvement: delete ongoing compilations from tree view

improvement: delete ongoing compilations from tree view #915

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Upload SCIP
22s
22s