Skip to content

Actions: sosy-lab/benchexec

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
886 workflow run results
886 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Added case insensitive filtering in HTML tables REUSE Compliance Check #295: Pull request #1004 synchronize by JawHawk
March 2, 2024 16:54 21s JawHawk:caseInsensitiveFilter
JawHawk:caseInsensitiveFilter
March 2, 2024 16:54 21s
Added case insensitive filtering in HTML tables Check code format #295: Pull request #1004 synchronize by JawHawk
March 2, 2024 16:54 21s JawHawk:caseInsensitiveFilter
JawHawk:caseInsensitiveFilter
March 2, 2024 16:54 21s
Added case insensitive filtering in HTML tables Ruff #295: Pull request #1004 synchronize by JawHawk
March 2, 2024 16:54 19s JawHawk:caseInsensitiveFilter
JawHawk:caseInsensitiveFilter
March 2, 2024 16:54 19s
feat: refactor the setHash function REUSE Compliance Check #294: Pull request #1006 synchronize by EshaanAgg
March 2, 2024 07:56 18s fix-807
fix-807
March 2, 2024 07:56 18s
feat: refactor the setHash function Ruff #294: Pull request #1006 synchronize by EshaanAgg
March 2, 2024 07:56 18s fix-807
fix-807
March 2, 2024 07:56 18s
feat: refactor the setHash function Check code format #294: Pull request #1006 synchronize by EshaanAgg
March 2, 2024 07:56 21s fix-807
fix-807
March 2, 2024 07:56 21s
bugfix Ruff #293: Commit 5b9e2c5 pushed by EshaanAgg
March 2, 2024 07:56 20s fix-807
fix-807
March 2, 2024 07:56 20s
bugfix Check code format #293: Commit 5b9e2c5 pushed by EshaanAgg
March 2, 2024 07:56 20s fix-807
fix-807
March 2, 2024 07:56 20s
bugfix REUSE Compliance Check #293: Commit 5b9e2c5 pushed by EshaanAgg
March 2, 2024 07:56 18s fix-807
fix-807
March 2, 2024 07:56 18s
feat: refactor the setHash function Ruff #292: Pull request #1006 synchronize by EshaanAgg
March 2, 2024 07:50 18s fix-807
fix-807
March 2, 2024 07:50 18s
feat: refactor the setHash function Check code format #292: Pull request #1006 synchronize by EshaanAgg
March 2, 2024 07:50 23s fix-807
fix-807
March 2, 2024 07:50 23s
feat: refactor the setHash function REUSE Compliance Check #292: Pull request #1006 synchronize by EshaanAgg
March 2, 2024 07:50 20s fix-807
fix-807
March 2, 2024 07:50 20s
fix merge conflicts and rebuild the app REUSE Compliance Check #291: Commit 0432869 pushed by EshaanAgg
March 2, 2024 07:50 20s fix-807
fix-807
March 2, 2024 07:50 20s
fix merge conflicts and rebuild the app Ruff #291: Commit 0432869 pushed by EshaanAgg
March 2, 2024 07:50 18s fix-807
fix-807
March 2, 2024 07:50 18s
fix merge conflicts and rebuild the app Check code format #291: Commit 0432869 pushed by EshaanAgg
March 2, 2024 07:50 22s fix-807
fix-807
March 2, 2024 07:50 22s
feat: refactor the setHash function Check code format #290: Commit a98f8ca pushed by EshaanAgg
March 2, 2024 07:39 19s fix-807
fix-807
March 2, 2024 07:39 19s
feat: refactor the setHash function REUSE Compliance Check #290: Commit a98f8ca pushed by EshaanAgg
March 2, 2024 07:39 17s fix-807
fix-807
March 2, 2024 07:39 17s
feat: refactor the setHash function Ruff #290: Commit a98f8ca pushed by EshaanAgg
March 2, 2024 07:39 18s fix-807
fix-807
March 2, 2024 07:39 18s
fix test REUSE Compliance Check #289: Commit 2217e9f pushed by PhilippWendler
March 1, 2024 19:31 19s main
main
March 1, 2024 19:31 19s
fix test Ruff #289: Commit 2217e9f pushed by PhilippWendler
March 1, 2024 19:31 18s main
main
March 1, 2024 19:31 18s
fix test Check code format #289: Commit 2217e9f pushed by PhilippWendler
March 1, 2024 19:31 26s main
main
March 1, 2024 19:31 26s
Merge pull request #1005 from EshaanAgg/fix1 Ruff #288: Commit 2fbcf68 pushed by PhilippWendler
March 1, 2024 19:11 18s main
main
March 1, 2024 19:11 18s
Merge pull request #1005 from EshaanAgg/fix1 REUSE Compliance Check #288: Commit 2fbcf68 pushed by PhilippWendler
March 1, 2024 19:11 18s main
main
March 1, 2024 19:11 18s
Merge pull request #1005 from EshaanAgg/fix1 Check code format #288: Commit 2fbcf68 pushed by PhilippWendler
March 1, 2024 19:11 23s main
main
March 1, 2024 19:11 23s
feat: introduce the decodeFilter function to refactor filter parsing Ruff #287: Pull request #1005 synchronize by PhilippWendler
March 1, 2024 19:01 18s EshaanAgg:fix1
EshaanAgg:fix1
March 1, 2024 19:01 18s