Skip to content

Actions: sosy-lab/benchexec

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,892 workflow runs
1,892 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Merge pull request #1263 from ultimate-pa/ultimate-launcher-jars JavaScript Pipeline #1368: Commit 5f507cc pushed by PhilippWendler
1m 21s main
main
1m 21s
Merge pull request #1263 from ultimate-pa/ultimate-launcher-jars REUSE Compliance Check #1688: Commit 5f507cc pushed by PhilippWendler
14s main
main
14s
Merge pull request #1263 from ultimate-pa/ultimate-launcher-jars Ruff #1688: Commit 5f507cc pushed by PhilippWendler
20s main
main
20s
Ultimate toolinfo-module: Use wildcard matching for launcher JARs Ruff #1687: Pull request #1263 synchronize by schuessf
21s ultimate-pa:ultimate-launcher-jars
ultimate-pa:ultimate-launcher-jars
21s
Ultimate toolinfo-module: Use wildcard matching for launcher JARs JavaScript Pipeline #1367: Pull request #1263 synchronize by schuessf
1m 14s ultimate-pa:ultimate-launcher-jars
ultimate-pa:ultimate-launcher-jars
1m 14s
Ultimate toolinfo-module: Use wildcard matching for launcher JARs REUSE Compliance Check #1687: Pull request #1263 synchronize by schuessf
17s ultimate-pa:ultimate-launcher-jars
ultimate-pa:ultimate-launcher-jars
17s
Ultimate toolinfo-module: Use wildcard matching for launcher JARs Ruff #1686: Pull request #1263 synchronize by schuessf
19s ultimate-pa:ultimate-launcher-jars
ultimate-pa:ultimate-launcher-jars
19s
Ultimate toolinfo-module: Use wildcard matching for launcher JARs REUSE Compliance Check #1686: Pull request #1263 synchronize by schuessf
13s ultimate-pa:ultimate-launcher-jars
ultimate-pa:ultimate-launcher-jars
13s
Ultimate toolinfo-module: Use wildcard matching for launcher JARs JavaScript Pipeline #1366: Pull request #1263 synchronize by schuessf
1m 12s ultimate-pa:ultimate-launcher-jars
ultimate-pa:ultimate-launcher-jars
1m 12s
Use better way of globbing Ruff #1685: Commit b7957ae pushed by PhilippWendler
16s main
main
16s
Use better way of globbing REUSE Compliance Check #1685: Commit b7957ae pushed by PhilippWendler
12s main
main
12s
Use better way of globbing JavaScript Pipeline #1365: Commit b7957ae pushed by PhilippWendler
1m 18s main
main
1m 18s
Ultimate toolinfo-module: Use wildcard matching for launcher JARs REUSE Compliance Check #1684: Pull request #1263 synchronize by schuessf
14s ultimate-pa:ultimate-launcher-jars
ultimate-pa:ultimate-launcher-jars
14s
Ultimate toolinfo-module: Use wildcard matching for launcher JARs Ruff #1684: Pull request #1263 synchronize by schuessf
20s ultimate-pa:ultimate-launcher-jars
ultimate-pa:ultimate-launcher-jars
20s
Ultimate toolinfo-module: Use wildcard matching for launcher JARs JavaScript Pipeline #1364: Pull request #1263 synchronize by schuessf
1m 20s ultimate-pa:ultimate-launcher-jars
ultimate-pa:ultimate-launcher-jars
1m 20s
Ultimate toolinfo-module: Use wildcard matching for launcher JARs JavaScript Pipeline #1363: Pull request #1263 opened by schuessf
1m 21s ultimate-pa:ultimate-launcher-jars
ultimate-pa:ultimate-launcher-jars
1m 21s
Ultimate toolinfo-module: Use wildcard matching for launcher JARs REUSE Compliance Check #1683: Pull request #1263 opened by schuessf
15s ultimate-pa:ultimate-launcher-jars
ultimate-pa:ultimate-launcher-jars
15s
Ultimate toolinfo-module: Use wildcard matching for launcher JARs Ruff #1683: Pull request #1263 opened by schuessf
18s ultimate-pa:ultimate-launcher-jars
ultimate-pa:ultimate-launcher-jars
18s
Add explanation of "benchmark definition" in glossary Ruff #1682: Commit 8650f00 pushed by PhilippWendler
19s main
main
19s
Add explanation of "benchmark definition" in glossary JavaScript Pipeline #1362: Commit 8650f00 pushed by PhilippWendler
1m 21s main
main
1m 21s
Add explanation of "benchmark definition" in glossary REUSE Compliance Check #1682: Commit 8650f00 pushed by PhilippWendler
12s main
main
12s
Merge pull request #1261 from sosy-lab/typescript-migration/typescrip… Ruff #1681: Commit d38deb9 pushed by PhilippWendler
19s main
main
19s
Merge pull request #1261 from sosy-lab/typescript-migration/typescrip… REUSE Compliance Check #1681: Commit d38deb9 pushed by PhilippWendler
21s main
main
21s
Merge pull request #1261 from sosy-lab/typescript-migration/typescrip… JavaScript Pipeline #1361: Commit d38deb9 pushed by PhilippWendler
1m 23s main
main
1m 23s
Migration of JavaScript files to TypeScript REUSE Compliance Check #1680: Pull request #1261 opened by Simon1375
16s typescript-migration/typescript-full-migration
typescript-migration/typescript-full-migration
16s