Skip to content

Actions: RagnarGrootKoerkamp/BAPCtools

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

update return code usage CI #828: Pull request #337 synchronize by mzuenni
February 15, 2024 00:45 1m 2s return-codes
return-codes
February 15, 2024 00:45 1m 2s
update return code usage CI #827: Pull request #337 synchronize by mzuenni
February 14, 2024 23:36 1m 3s return-codes
return-codes
February 14, 2024 23:36 1m 3s
update return code usage CI #826: Pull request #337 synchronize by mzuenni
February 14, 2024 23:31 3m 44s return-codes
return-codes
February 14, 2024 23:31 3m 44s
update return code usage CI #825: Pull request #337 synchronize by RagnarGrootKoerkamp
February 14, 2024 22:47 3m 55s return-codes
return-codes
February 14, 2024 22:47 3m 55s
update return code usage CI #824: Pull request #337 opened by mzuenni
February 14, 2024 21:36 4m 1s return-codes
return-codes
February 14, 2024 21:36 4m 1s
update skel CI #823: Pull request #336 synchronize by mpsijm
February 14, 2024 09:21 3m 42s skel
skel
February 14, 2024 09:21 3m 42s
update skel CI #822: Pull request #336 synchronize by mpsijm
February 14, 2024 09:21 4m 1s skel
skel
February 14, 2024 09:21 4m 1s
update skel CI #821: Pull request #336 synchronize by mzuenni
February 13, 2024 17:31 4m 0s skel
skel
February 13, 2024 17:31 4m 0s
update skel CI #820: Pull request #336 synchronize by mzuenni
February 13, 2024 16:28 3m 57s skel
skel
February 13, 2024 16:28 3m 57s
update skel CI #819: Pull request #336 opened by mzuenni
February 13, 2024 14:58 3m 59s skel
skel
February 13, 2024 14:58 3m 59s
fix generate.py CI #818: Commit 5cc831a pushed by mzuenni
February 12, 2024 01:21 3m 58s master
master
February 12, 2024 01:21 3m 58s
[parallel] If not num_threads, use queue instead of tail recursion CI #817: Pull request #306 synchronize by mpsijm
February 10, 2024 16:34 3m 51s mpsijm:fix-parallel-without-threads
mpsijm:fix-parallel-without-threads
February 10, 2024 16:34 3m 51s
UX: Shorter action message for invalidation CI #816: Commit 3496c58 pushed by RagnarGrootKoerkamp
February 10, 2024 13:56 3m 48s master
master
February 10, 2024 13:56 3m 48s
Invalidation CI #815: Pull request #333 synchronize by thorehusfeldt
February 9, 2024 08:47 3m 51s feat/invalidation
feat/invalidation
February 9, 2024 08:47 3m 51s
UX: Shorter action message for invalidation CI #814: Commit 1ba9bdb pushed by thorehusfeldt
February 9, 2024 08:47 3m 36s feat/invalidation
feat/invalidation
February 9, 2024 08:47 3m 36s
Invalidation CI #813: Pull request #333 synchronize by thorehusfeldt
February 9, 2024 08:35 3m 39s feat/invalidation
feat/invalidation
February 9, 2024 08:35 3m 39s
UX: better action string for bt validate, bt constraints CI #812: Commit a35f2ab pushed by thorehusfeldt
February 9, 2024 08:34 4m 0s feat/invalidation
feat/invalidation
February 9, 2024 08:34 4m 0s
Invalidation CI #811: Pull request #333 synchronize by RagnarGrootKoerkamp
February 8, 2024 23:51 3m 58s feat/invalidation
feat/invalidation
February 8, 2024 23:51 3m 58s
simplify & cleanup Problem.testcases CI #810: Commit 7a3dc1d pushed by RagnarGrootKoerkamp
February 8, 2024 23:51 3m 51s feat/invalidation
feat/invalidation
February 8, 2024 23:51 3m 51s
Invalidation CI #809: Pull request #333 synchronize by RagnarGrootKoerkamp
February 8, 2024 23:42 3m 55s feat/invalidation
feat/invalidation
February 8, 2024 23:42 3m 55s
simplify & cleanup Problem.testcases CI #808: Commit 4007322 pushed by RagnarGrootKoerkamp
February 8, 2024 23:41 3m 41s feat/invalidation
feat/invalidation
February 8, 2024 23:41 3m 41s
Invalidation CI #807: Pull request #333 synchronize by RagnarGrootKoerkamp
February 8, 2024 23:28 3m 25s feat/invalidation
feat/invalidation
February 8, 2024 23:28 3m 25s
simplify & cleanup Problem.testcases CI #806: Commit c45e8f3 pushed by RagnarGrootKoerkamp
February 8, 2024 23:28 3m 23s feat/invalidation
feat/invalidation
February 8, 2024 23:28 3m 23s
Invalidation CI #805: Pull request #333 synchronize by RagnarGrootKoerkamp
February 8, 2024 23:25 1m 5s feat/invalidation
feat/invalidation
February 8, 2024 23:25 1m 5s
simplify & cleanup Problem.testcases CI #804: Commit d6ac32a pushed by RagnarGrootKoerkamp
February 8, 2024 23:25 1m 0s feat/invalidation
feat/invalidation
February 8, 2024 23:25 1m 0s