Skip to content

Actions: GillianPlatform/Gillian

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
279 workflow runs
279 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

publications order CI #1112: Commit c6802c5 pushed by AndreasLoow
November 1, 2024 08:09 13m 43s master
master
November 1, 2024 08:09 13m 43s
Various tweaks for TACAS '25 artifact (#317) CI #1111: Commit 86bc804 pushed by NatKarmios
October 29, 2024 10:51 25m 21s master
master
October 29, 2024 10:51 25m 21s
fix issue #312: show counter example and failing model CI #1110: Pull request #318 opened by klausnat
October 25, 2024 06:57 Action required klausnat:klaus/fix_issue312
klausnat:klaus/fix_issue312
October 25, 2024 06:57 Action required
Various tweaks for TACAS '25 artifact CI #1109: Pull request #317 synchronize by NatKarmios
October 23, 2024 12:25 43m 59s nat/tacas25
nat/tacas25
October 23, 2024 12:25 43m 59s
Various tweaks for TACAS '25 artifact CI #1108: Pull request #317 synchronize by NatKarmios
October 22, 2024 05:16 42m 42s nat/tacas25
nat/tacas25
October 22, 2024 05:16 42m 42s
Various tweaks for TACAS '25 artifact CI #1107: Pull request #317 opened by NatKarmios
October 22, 2024 00:59 53m 14s nat/tacas25
nat/tacas25
October 22, 2024 00:59 53m 14s
Remove Asrt.Star (fix #159) CI #1106: Pull request #316 opened by N1ark
October 10, 2024 17:12 8m 14s N1ark:asrt-simple-list
N1ark:asrt-simple-list
October 10, 2024 17:12 8m 14s
Use Asrt.t instead of fixes! (#313) CI #1105: Commit 4cc7f8b pushed by giltho
October 10, 2024 13:26 24m 37s master
master
October 10, 2024 13:26 24m 37s
Use Asrt.t instead of fixes! CI #1104: Pull request #313 synchronize by N1ark
September 16, 2024 14:27 43m 24s N1ark:fix-fixes
N1ark:fix-fixes
September 16, 2024 14:27 43m 24s
Use Asrt.t instead of fixes! CI #1103: Pull request #313 synchronize by N1ark
September 15, 2024 11:48 42m 31s N1ark:fix-fixes
N1ark:fix-fixes
September 15, 2024 11:48 42m 31s
Use Asrt.t instead of fixes! CI #1102: Pull request #313 synchronize by N1ark
September 14, 2024 20:55 49m 28s N1ark:fix-fixes
N1ark:fix-fixes
September 14, 2024 20:55 49m 28s
Use Asrt.t instead of fixes! CI #1101: Pull request #313 opened by N1ark
September 14, 2024 20:54 52m 18s N1ark:fix-fixes
N1ark:fix-fixes
September 14, 2024 20:54 52m 18s
Something is over-approx for some reason... CI #1100: Pull request #301 synchronize by giltho
September 11, 2024 19:57 43m 20s delayed-fix
delayed-fix
September 11, 2024 19:57 43m 20s
Something is over-approx for some reason... CI #1099: Pull request #301 synchronize by giltho
September 11, 2024 19:34 42m 17s delayed-fix
delayed-fix
September 11, 2024 19:34 42m 17s
Something is over-approx for some reason... CI #1098: Pull request #301 synchronize by giltho
September 11, 2024 16:21 53m 3s delayed-fix
delayed-fix
September 11, 2024 16:21 53m 3s
Something is over-approx for some reason... CI #1097: Pull request #301 synchronize by giltho
September 3, 2024 10:54 4m 8s delayed-fix
delayed-fix
September 3, 2024 10:54 4m 8s
Support breakpoints when debugging (#310) CI #1096: Commit 2ddf669 pushed by NatKarmios
August 22, 2024 10:12 35m 37s master
master
August 22, 2024 10:12 35m 37s
Support breakpoints when debugging CI #1095: Pull request #310 opened by NatKarmios
August 21, 2024 18:47 1h 5m 48s nat/breakpoints
nat/breakpoints
August 21, 2024 18:47 1h 5m 48s
add consume & produce commands (#309) CI #1094: Commit b7e4658 pushed by giltho
August 15, 2024 13:39 16m 26s master
master
August 15, 2024 13:39 16m 26s
add consume & produce commands CI #1093: Pull request #309 opened by giltho
August 8, 2024 06:34 43m 37s inh-ex
inh-ex
August 8, 2024 06:34 43m 37s
Warn & document mismatching CBMC version (#308) CI #1092: Commit cff2c70 pushed by NatKarmios
August 5, 2024 16:49 12m 52s master
master
August 5, 2024 16:49 12m 52s
Warn & document mismatching CBMC version CI #1091: Pull request #308 opened by NatKarmios
August 5, 2024 16:32 43m 10s nat/cbmc-version
nat/cbmc-version
August 5, 2024 16:32 43m 10s
CI: fix Sphinx not being built CI #1090: Commit 0460dce pushed by NatKarmios
August 5, 2024 10:23 12m 34s master
master
August 5, 2024 10:23 12m 34s
Skip substitutions if empty (#305) CI #1089: Commit 8ed4c3b pushed by NatKarmios
August 3, 2024 00:31 20s master
master
August 3, 2024 00:31 20s
Skip unneeded substitutions CI #1088: Pull request #305 synchronize by NatKarmios
August 3, 2024 00:31 43m 7s N1ark:less-substs
N1ark:less-substs
August 3, 2024 00:31 43m 7s