Skip to content

Actions: sosy-lab/benchexec

Actions

Check code format

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
black.yml
814 workflow runs
814 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update all validators to handle Validation tasks Check code format #816: Pull request #1093 synchronize by marian-lingsch
November 3, 2024 14:48 21s handle-validation-tasks-validators
handle-validation-tasks-validators
November 3, 2024 14:48 21s
Remove unused input Check code format #815: Commit bb615cb pushed by marian-lingsch
November 3, 2024 14:48 21s handle-validation-tasks-validators
handle-validation-tasks-validators
November 3, 2024 14:48 21s
Update all validators to handle Validation tasks Check code format #814: Pull request #1093 synchronize by marian-lingsch
November 3, 2024 14:45 21s handle-validation-tasks-validators
handle-validation-tasks-validators
November 3, 2024 14:45 21s
Make it clear that WitnessMap is currently only being used to run SV-… Check code format #813: Commit e4e628b pushed by marian-lingsch
November 3, 2024 14:45 20s handle-validation-tasks-validators
handle-validation-tasks-validators
November 3, 2024 14:45 20s
Update all validators to handle Validation tasks Check code format #812: Pull request #1093 synchronize by marian-lingsch
October 31, 2024 14:11 21s handle-validation-tasks-validators
handle-validation-tasks-validators
October 31, 2024 14:11 21s
Add toolinfo module for WitnessMap Check code format #811: Commit 459902e pushed by marian-lingsch
October 31, 2024 14:11 25s handle-validation-tasks-validators
handle-validation-tasks-validators
October 31, 2024 14:11 25s
Improve release script such that empty version numbers are rejected Check code format #810: Commit b2927bc pushed by PhilippWendler
October 31, 2024 06:11 24s main
main
October 31, 2024 06:11 24s
Fix race condition when creating a systemd scope for cgroups v2 usage Check code format #809: Commit 4582782 pushed by PhilippWendler
October 30, 2024 14:55 21s 1096-fix-race-condition-systemd-unit-start
1096-fix-race-condition-systemd-unit-start
October 30, 2024 14:55 21s
Update all validators to handle Validation tasks Check code format #808: Pull request #1093 synchronize by marian-lingsch
October 30, 2024 11:29 19s handle-validation-tasks-validators
handle-validation-tasks-validators
October 30, 2024 11:29 19s
Refactor code to make it explicit when the additional options are bei… Check code format #807: Commit ea52577 pushed by marian-lingsch
October 30, 2024 11:29 26s handle-validation-tasks-validators
handle-validation-tasks-validators
October 30, 2024 11:29 26s
Update all validators to handle Validation tasks Check code format #806: Pull request #1093 synchronize by PhilippWendler
October 30, 2024 06:39 51m 34s handle-validation-tasks-validators
handle-validation-tasks-validators
October 30, 2024 06:39 51m 34s
Improve documentation and error message to clarify what the witness is Check code format #805: Commit 25ca9b8 pushed by PhilippWendler
October 30, 2024 06:39 1h 52m 12s handle-validation-tasks-validators
handle-validation-tasks-validators
October 30, 2024 06:39 1h 52m 12s
Merge pull request #1086 from sosy-lab/metaval-2.0 Check code format #804: Commit 2c154a7 pushed by PhilippWendler
October 29, 2024 13:13 24s main
main
October 29, 2024 13:13 24s
Update all validators to handle Validation tasks Check code format #803: Pull request #1093 synchronize by marian-lingsch
October 29, 2024 13:08 20s handle-validation-tasks-validators
handle-validation-tasks-validators
October 29, 2024 13:08 20s
Remove unused imports Check code format #802: Commit addcaa9 pushed by marian-lingsch
October 29, 2024 13:08 24s handle-validation-tasks-validators
handle-validation-tasks-validators
October 29, 2024 13:08 24s
Update all validators to handle Validation tasks Check code format #801: Pull request #1093 synchronize by marian-lingsch
October 29, 2024 13:05 26s handle-validation-tasks-validators
handle-validation-tasks-validators
October 29, 2024 13:05 26s
Improve documentation regarding what the witness_options does and imp… Check code format #800: Commit 2aa8d15 pushed by marian-lingsch
October 29, 2024 13:05 21s handle-validation-tasks-validators
handle-validation-tasks-validators
October 29, 2024 13:05 21s
Update all validators to handle Validation tasks Check code format #799: Pull request #1093 synchronize by marian-lingsch
October 29, 2024 12:59 21s handle-validation-tasks-validators
handle-validation-tasks-validators
October 29, 2024 12:59 21s
Change order of if then else statement Check code format #798: Commit 55a0660 pushed by marian-lingsch
October 29, 2024 12:59 21s handle-validation-tasks-validators
handle-validation-tasks-validators
October 29, 2024 12:59 21s
Add toolinfo module for MetaVal++ Check code format #797: Pull request #1086 synchronize by marian-lingsch
October 29, 2024 12:18 28s metaval-2.0
metaval-2.0
October 29, 2024 12:18 28s
Update metaval++ toolinfo module using suggested changes Check code format #796: Commit e6dc883 pushed by marian-lingsch
October 29, 2024 12:18 20s metaval-2.0
metaval-2.0
October 29, 2024 12:18 20s
Add toolinfo module for MetaVal++ Check code format #795: Pull request #1086 synchronize by marian-lingsch
October 29, 2024 11:28 20s metaval-2.0
metaval-2.0
October 29, 2024 11:28 20s
Use return early style in MetaVal++ for getting the value from the ou… Check code format #794: Commit 02088e0 pushed by marian-lingsch
October 29, 2024 11:28 24s metaval-2.0
metaval-2.0
October 29, 2024 11:28 24s
Fix broken cleanup of cgroups without permissions Check code format #793: Commit fe0d9a1 pushed by PhilippWendler
October 29, 2024 07:58 21s main
main
October 29, 2024 07:58 21s
Merge pull request #1094 from Lasagnenator/add-svf-tool-info Check code format #792: Commit f3b933a pushed by PhilippWendler
October 28, 2024 06:15 24s main
main
October 28, 2024 06:15 24s