Skip to content

Actions: sosy-lab/benchexec

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
3,151 workflow runs
3,151 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Adding (sub)property to violations, and implementing memory limit passing REUSE Compliance Check #857: Pull request #1109 synchronize by leventeBajczi
November 14, 2024 21:42 21s leventeBajczi:patch-1
leventeBajczi:patch-1
November 14, 2024 21:42 21s
Adding (sub)property to violations, and implementing memory limit passing JavaScript Pipeline #537: Pull request #1109 synchronize by leventeBajczi
November 14, 2024 21:42 1m 16s leventeBajczi:patch-1
leventeBajczi:patch-1
November 14, 2024 21:42 1m 16s
Adding (sub)property to violations, and implementing memory limit passing Ruff #856: Pull request #1109 synchronize by leventeBajczi
November 14, 2024 21:39 18s leventeBajczi:patch-1
leventeBajczi:patch-1
November 14, 2024 21:39 18s
Adding (sub)property to violations, and implementing memory limit passing JavaScript Pipeline #536: Pull request #1109 synchronize by leventeBajczi
November 14, 2024 21:39 1m 21s leventeBajczi:patch-1
leventeBajczi:patch-1
November 14, 2024 21:39 1m 21s
Adding (sub)property to violations, and implementing memory limit passing Check code format #856: Pull request #1109 synchronize by leventeBajczi
November 14, 2024 21:39 22s leventeBajczi:patch-1
leventeBajczi:patch-1
November 14, 2024 21:39 22s
Adding (sub)property to violations, and implementing memory limit passing REUSE Compliance Check #856: Pull request #1109 synchronize by leventeBajczi
November 14, 2024 21:39 18s leventeBajczi:patch-1
leventeBajczi:patch-1
November 14, 2024 21:39 18s
Adding (sub)property to violations, and implementing memory limit passing Ruff #855: Pull request #1109 opened by leventeBajczi
November 14, 2024 19:03 18s leventeBajczi:patch-1
leventeBajczi:patch-1
November 14, 2024 19:03 18s
Adding (sub)property to violations, and implementing memory limit passing REUSE Compliance Check #855: Pull request #1109 opened by leventeBajczi
November 14, 2024 19:03 25s leventeBajczi:patch-1
leventeBajczi:patch-1
November 14, 2024 19:03 25s
Adding (sub)property to violations, and implementing memory limit passing Check code format #855: Pull request #1109 opened by leventeBajczi
November 14, 2024 19:03 23s leventeBajczi:patch-1
leventeBajczi:patch-1
November 14, 2024 19:03 23s
Adding (sub)property to violations, and implementing memory limit passing JavaScript Pipeline #535: Pull request #1109 opened by leventeBajczi
November 14, 2024 19:03 1m 15s leventeBajczi:patch-1
leventeBajczi:patch-1
November 14, 2024 19:03 1m 15s
Test-comp 2025: Update of script for Fizzer Check code format #854: Pull request #1088 synchronize by trtikm
November 14, 2024 18:00 25s trtikm:marek/fizzer
trtikm:marek/fizzer
November 14, 2024 18:00 25s
Test-comp 2025: Update of script for Fizzer REUSE Compliance Check #854: Pull request #1088 synchronize by trtikm
November 14, 2024 18:00 18s trtikm:marek/fizzer
trtikm:marek/fizzer
November 14, 2024 18:00 18s
Test-comp 2025: Update of script for Fizzer Ruff #854: Pull request #1088 synchronize by trtikm
November 14, 2024 18:00 20s trtikm:marek/fizzer
trtikm:marek/fizzer
November 14, 2024 18:00 20s
Test-comp 2025: Update of script for Fizzer JavaScript Pipeline #534: Pull request #1088 synchronize by trtikm
November 14, 2024 18:00 1m 18s trtikm:marek/fizzer
trtikm:marek/fizzer
November 14, 2024 18:00 1m 18s
Add the containerImage CLI arg to the BenchCloud Executor Check code format #853: Pull request #1108 opened by ricffb
November 14, 2024 17:23 23s ricffb:add-benchcloud-containerImage-arg
ricffb:add-benchcloud-containerImage-arg
November 14, 2024 17:23 23s
Add the containerImage CLI arg to the BenchCloud Executor JavaScript Pipeline #533: Pull request #1108 opened by ricffb
November 14, 2024 17:23 1m 20s ricffb:add-benchcloud-containerImage-arg
ricffb:add-benchcloud-containerImage-arg
November 14, 2024 17:23 1m 20s
Add the containerImage CLI arg to the BenchCloud Executor Ruff #853: Pull request #1108 opened by ricffb
November 14, 2024 17:23 18s ricffb:add-benchcloud-containerImage-arg
ricffb:add-benchcloud-containerImage-arg
November 14, 2024 17:23 18s
Add the containerImage CLI arg to the BenchCloud Executor REUSE Compliance Check #853: Pull request #1108 opened by ricffb
November 14, 2024 17:23 19s ricffb:add-benchcloud-containerImage-arg
ricffb:add-benchcloud-containerImage-arg
November 14, 2024 17:23 19s
Modify the project_url in aise.py (#1104) JavaScript Pipeline #532: Commit 86252f4 pushed by PhilippWendler
November 13, 2024 17:50 1m 18s main
main
November 13, 2024 17:50 1m 18s
Modify the project_url in aise.py (#1104) Check code format #852: Commit 86252f4 pushed by PhilippWendler
November 13, 2024 17:50 22s main
main
November 13, 2024 17:50 22s
Modify the project_url in aise.py (#1104) Ruff #852: Commit 86252f4 pushed by PhilippWendler
November 13, 2024 17:50 15s main
main
November 13, 2024 17:50 15s
Modify the project_url in aise.py (#1104) REUSE Compliance Check #852: Commit 86252f4 pushed by PhilippWendler
November 13, 2024 17:50 20s main
main
November 13, 2024 17:50 20s
Modify the project_url in aise.py REUSE Compliance Check #851: Pull request #1104 synchronize by liar1007
November 13, 2024 15:46 39s liar1007:main
liar1007:main
November 13, 2024 15:46 39s
Modify the project_url in aise.py Ruff #851: Pull request #1104 synchronize by liar1007
November 13, 2024 15:46 17s liar1007:main
liar1007:main
November 13, 2024 15:46 17s
Modify the project_url in aise.py Check code format #851: Pull request #1104 synchronize by liar1007
November 13, 2024 15:46 21s liar1007:main
liar1007:main
November 13, 2024 15:46 21s