Skip to content

Actions: sosy-lab/benchexec

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,355 workflow runs
2,355 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Disable some tests during build of Debian package Check code format #668: Commit fae2bf9 pushed by PhilippWendler
September 20, 2024 13:08 24s main
main
September 20, 2024 13:08 24s
Disable some tests during build of Debian package JavaScript Pipeline #348: Commit fae2bf9 pushed by PhilippWendler
September 20, 2024 13:08 1m 21s main
main
September 20, 2024 13:08 1m 21s
Disable some tests during build of Debian package REUSE Compliance Check #668: Commit fae2bf9 pushed by PhilippWendler
September 20, 2024 13:08 22s main
main
September 20, 2024 13:08 22s
Disable some tests during build of Debian package Ruff #668: Commit fae2bf9 pushed by PhilippWendler
September 20, 2024 13:08 21s main
main
September 20, 2024 13:08 21s
Prepare version number for next development cycle. Ruff #667: Commit ae57550 pushed by PhilippWendler
September 20, 2024 12:17 22s main
main
September 20, 2024 12:17 22s
Prepare version number for next development cycle. REUSE Compliance Check #667: Commit ae57550 pushed by PhilippWendler
September 20, 2024 12:17 24s main
main
September 20, 2024 12:17 24s
Prepare version number for next development cycle. Check code format #667: Commit ae57550 pushed by PhilippWendler
September 20, 2024 12:17 27s main
main
September 20, 2024 12:17 27s
Prepare version number for next development cycle. JavaScript Pipeline #347: Commit ae57550 pushed by PhilippWendler
September 20, 2024 12:17 1m 34s main
main
September 20, 2024 12:17 1m 34s
REUSE Compliance Check REUSE Compliance Check #666: by PhilippWendler
September 20, 2024 12:15 22s 3.25
3.25
September 20, 2024 12:15 22s
Ruff Ruff #666: by PhilippWendler
September 20, 2024 12:15 19s 3.25
3.25
September 20, 2024 12:15 19s
Check code format Check code format #666: by PhilippWendler
September 20, 2024 12:15 25s 3.25
3.25
September 20, 2024 12:15 25s
JavaScript Pipeline JavaScript Pipeline #346: by PhilippWendler
September 20, 2024 12:15 1m 14s 3.25
3.25
September 20, 2024 12:15 1m 14s
Merge pull request #1062 from sosy-lab/gsoc-overlay-handling-with-fus… Check code format #665: Commit 108ff5a pushed by PhilippWendler
September 20, 2024 10:42 23s main
main
September 20, 2024 10:42 23s
Merge pull request #1062 from sosy-lab/gsoc-overlay-handling-with-fus… Ruff #665: Commit 108ff5a pushed by PhilippWendler
September 20, 2024 10:42 20s main
main
September 20, 2024 10:42 20s
Merge pull request #1062 from sosy-lab/gsoc-overlay-handling-with-fus… JavaScript Pipeline #345: Commit 108ff5a pushed by PhilippWendler
September 20, 2024 10:42 1m 19s main
main
September 20, 2024 10:42 1m 19s
Merge pull request #1062 from sosy-lab/gsoc-overlay-handling-with-fus… REUSE Compliance Check #665: Commit 108ff5a pushed by PhilippWendler
September 20, 2024 10:42 22s main
main
September 20, 2024 10:42 22s
Overlay handling with fuse-overlayfs Check code format #664: Pull request #1062 synchronize by PhilippWendler
September 19, 2024 09:01 22s gsoc-overlay-handling-with-fuse-overlayfs-dev
gsoc-overlay-handling-with-fuse-overlayfs-dev
September 19, 2024 09:01 22s
Overlay handling with fuse-overlayfs Ruff #664: Pull request #1062 synchronize by PhilippWendler
September 19, 2024 09:01 19s gsoc-overlay-handling-with-fuse-overlayfs-dev
gsoc-overlay-handling-with-fuse-overlayfs-dev
September 19, 2024 09:01 19s
Overlay handling with fuse-overlayfs REUSE Compliance Check #664: Pull request #1062 synchronize by PhilippWendler
September 19, 2024 09:01 18s gsoc-overlay-handling-with-fuse-overlayfs-dev
gsoc-overlay-handling-with-fuse-overlayfs-dev
September 19, 2024 09:01 18s
Overlay handling with fuse-overlayfs JavaScript Pipeline #344: Pull request #1062 synchronize by PhilippWendler
September 19, 2024 09:01 1m 18s gsoc-overlay-handling-with-fuse-overlayfs-dev
gsoc-overlay-handling-with-fuse-overlayfs-dev
September 19, 2024 09:01 1m 18s
Detect and error out if temp is not hidden and we use fuse-overlayfs REUSE Compliance Check #663: Commit 33249f1 pushed by PhilippWendler
September 19, 2024 09:01 25s gsoc-overlay-handling-with-fuse-overlayfs-dev
gsoc-overlay-handling-with-fuse-overlayfs-dev
September 19, 2024 09:01 25s
Detect and error out if temp is not hidden and we use fuse-overlayfs Ruff #663: Commit 33249f1 pushed by PhilippWendler
September 19, 2024 09:01 23s gsoc-overlay-handling-with-fuse-overlayfs-dev
gsoc-overlay-handling-with-fuse-overlayfs-dev
September 19, 2024 09:01 23s
Detect and error out if temp is not hidden and we use fuse-overlayfs Check code format #663: Commit 33249f1 pushed by PhilippWendler
September 19, 2024 09:01 25s gsoc-overlay-handling-with-fuse-overlayfs-dev
gsoc-overlay-handling-with-fuse-overlayfs-dev
September 19, 2024 09:01 25s
Detect and error out if temp is not hidden and we use fuse-overlayfs JavaScript Pipeline #343: Commit 33249f1 pushed by PhilippWendler
September 19, 2024 09:01 1m 21s gsoc-overlay-handling-with-fuse-overlayfs-dev
gsoc-overlay-handling-with-fuse-overlayfs-dev
September 19, 2024 09:01 1m 21s
Overlay handling with fuse-overlayfs JavaScript Pipeline #342: Pull request #1062 synchronize by PhilippWendler
September 19, 2024 07:59 1m 13s gsoc-overlay-handling-with-fuse-overlayfs-dev
gsoc-overlay-handling-with-fuse-overlayfs-dev
September 19, 2024 07:59 1m 13s