Skip to content

Actions: RagnarGrootKoerkamp/BAPCtools

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
976 workflow runs
976 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

faster sanity checks
CI #684: Pull request #399 synchronize by mzuenni
October 25, 2024 22:54 3m 47s faster-sanity-checks
October 25, 2024 22:54 3m 47s
change names
CI #683: Commit d6b53c4 pushed by mzuenni
October 25, 2024 22:54 3m 54s faster-sanity-checks
October 25, 2024 22:54 3m 54s
faster sanity checks
CI #682: Pull request #399 opened by mzuenni
October 25, 2024 22:42 4m 2s faster-sanity-checks
October 25, 2024 22:42 4m 2s
faster sanity checks
CI #681: Commit a6fd74c pushed by mzuenni
October 25, 2024 22:42 3m 47s faster-sanity-checks
October 25, 2024 22:42 3m 47s
add bt timelimit
CI #680: Pull request #397 synchronize by mzuenni
October 25, 2024 16:00 4m 2s bt-timelimit
October 25, 2024 16:00 4m 2s
add doc
CI #679: Commit 9614f9f pushed by mzuenni
October 25, 2024 16:00 4m 23s bt-timelimit
October 25, 2024 16:00 4m 23s
add bt timelimit
CI #678: Pull request #397 synchronize by mzuenni
October 25, 2024 15:50 4m 8s bt-timelimit
October 25, 2024 15:50 4m 8s
fix
CI #677: Commit 3614c83 pushed by mzuenni
October 25, 2024 15:50 4m 3s bt-timelimit
October 25, 2024 15:50 4m 3s
add bt timelimit
CI #676: Pull request #397 opened by mzuenni
October 25, 2024 15:47 3m 33s bt-timelimit
October 25, 2024 15:47 3m 33s
add bt timelimit
CI #675: Commit 130f598 pushed by mzuenni
October 25, 2024 15:45 3m 40s bt-timelimit
October 25, 2024 15:45 3m 40s
fix constraints merging of non-constant bounds
CI #674: Commit 2ed3c1c pushed by RagnarGrootKoerkamp
October 25, 2024 10:43 4m 21s master
October 25, 2024 10:43 4m 21s
October 14, 2024 16:06 4m 18s
October 14, 2024 15:18 4m 40s
October 5, 2024 14:59 3m 51s
[solve_stats] Allow running in parallel
CI #670: Commit 894466d pushed by mpsijm
October 4, 2024 15:32 4m 54s master
October 4, 2024 15:32 4m 54s
October 2, 2024 08:25 3m 45s
removed deprecated typing
CI #668: Commit a447712 pushed by mpsijm
October 1, 2024 17:10 4m 14s master
October 1, 2024 17:10 4m 14s
removed deprecated typing
CI #667: Pull request #395 opened by mzuenni
October 1, 2024 16:39 3m 57s python3.9
October 1, 2024 16:39 3m 57s
removed deprecated typing
CI #666: Commit 8753d98 pushed by mzuenni
October 1, 2024 16:38 4m 5s python3.9
October 1, 2024 16:38 4m 5s
only add to cache if validation was successful
CI #665: Commit bee1a57 pushed by RagnarGrootKoerkamp
September 30, 2024 20:37 4m 3s master
September 30, 2024 20:37 4m 3s
only add validator to cache if validation was successful
CI #664: Pull request #394 opened by mzuenni
September 30, 2024 19:43 3m 52s validator-hash
September 30, 2024 19:43 3m 52s
only add to cache if validation was successful
CI #663: Commit 7735e67 pushed by mzuenni
September 30, 2024 19:42 4m 15s validator-hash
September 30, 2024 19:42 4m 15s
September 30, 2024 19:40 4m 44s
September 25, 2024 07:26 3m 42s
#102 Part 1: Initial setup for type checking
CI #658: Pull request #392 synchronize by mpsijm
September 24, 2024 19:20 4m 49s mpsijm:102-type-checking
September 24, 2024 19:20 4m 49s
ProTip! You can narrow down the results and go further in time using created:<2024-09-24 or the other filters available.