Skip to content

Actions: GillianPlatform/Gillian

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
281 workflow runs
281 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Make LVar, PVar, Loc and ALoc opaque types CI #1185: Pull request #332 opened by N1ark
January 22, 2025 23:28 11m 45s N1ark:opacity
N1ark:opacity
January 22, 2025 23:28 11m 45s
Add state transformers! (#324) CI #1183: Commit 0c14d64 pushed by NatKarmios
January 15, 2025 11:29 24m 25s master
master
January 15, 2025 11:29 24m 25s
Add state transformers! CI #1182: Pull request #324 synchronize by N1ark
January 15, 2025 10:41 44m 12s N1ark:transformers
N1ark:transformers
January 15, 2025 10:41 44m 12s
Add state transformers! CI #1181: Pull request #324 synchronize by N1ark
January 14, 2025 16:44 52m 12s N1ark:transformers
N1ark:transformers
January 14, 2025 16:44 52m 12s
Add state transformers! CI #1180: Pull request #324 synchronize by N1ark
January 14, 2025 16:04 11m 22s N1ark:transformers
N1ark:transformers
January 14, 2025 16:04 11m 22s
Add state transformers! CI #1179: Pull request #324 synchronize by N1ark
January 14, 2025 09:28 13m 26s N1ark:transformers
N1ark:transformers
January 14, 2025 09:28 13m 26s
Fix for callgraphs used in ACT when using already compiled mode CI #1178: Pull request #330 opened by 2over12
January 13, 2025 22:48 -1s trail-of-forks:ian/fix-callgraph
trail-of-forks:ian/fix-callgraph
January 13, 2025 22:48 -1s
Fix branch max on calls during ACT CI #1177: Pull request #329 opened by 2over12
January 13, 2025 22:44 Action required trail-of-forks:ian/fix-call-branching-count
trail-of-forks:ian/fix-call-branching-count
January 13, 2025 22:44 Action required
Remove Formula (#327) CI #1176: Commit 92f78d8 pushed by NatKarmios
January 12, 2025 20:18 13m 11s master
master
January 12, 2025 20:18 13m 11s
Remove Formula CI #1175: Pull request #327 synchronize by N1ark
January 12, 2025 18:59 42m 38s N1ark:no-more-formula-bis
N1ark:no-more-formula-bis
January 12, 2025 18:59 42m 38s
Remove Formula CI #1174: Pull request #327 synchronize by N1ark
January 12, 2025 17:49 43m 13s N1ark:no-more-formula-bis
N1ark:no-more-formula-bis
January 12, 2025 17:49 43m 13s
Remove Formula CI #1173: Pull request #327 synchronize by N1ark
January 12, 2025 17:37 42m 18s N1ark:no-more-formula-bis
N1ark:no-more-formula-bis
January 12, 2025 17:37 42m 18s
Remove Formula CI #1172: Pull request #327 synchronize by N1ark
January 12, 2025 17:26 42m 23s N1ark:no-more-formula-bis
N1ark:no-more-formula-bis
January 12, 2025 17:26 42m 23s
Remove Formula CI #1171: Pull request #327 synchronize by N1ark
January 10, 2025 17:19 43m 31s N1ark:no-more-formula-bis
N1ark:no-more-formula-bis
January 10, 2025 17:19 43m 31s
Remove Formula CI #1170: Pull request #327 synchronize by N1ark
January 10, 2025 17:05 8m 55s N1ark:no-more-formula-bis
N1ark:no-more-formula-bis
January 10, 2025 17:05 8m 55s
Remove Formula CI #1169: Pull request #327 opened by N1ark
January 10, 2025 16:55 6m 43s N1ark:no-more-formula-bis
N1ark:no-more-formula-bis
January 10, 2025 16:55 6m 43s
Remove Asrt.Star (fix #159) (#316) CI #1168: Commit 467a348 pushed by NatKarmios
January 10, 2025 16:40 31m 8s master
master
January 10, 2025 16:40 31m 8s
Remove Asrt.Star (fix #159) CI #1167: Pull request #316 synchronize by N1ark
January 10, 2025 10:43 10m 58s N1ark:asrt-simple-list
N1ark:asrt-simple-list
January 10, 2025 10:43 10m 58s
Remove Formula CI #1166: Pull request #326 synchronize by N1ark
January 7, 2025 09:36 53m 41s N1ark:no-more-formula
N1ark:no-more-formula
January 7, 2025 09:36 53m 41s
Remove Formula CI #1165: Pull request #326 synchronize by N1ark
December 30, 2024 16:27 42m 3s N1ark:no-more-formula
N1ark:no-more-formula
December 30, 2024 16:27 42m 3s
Remove Formula CI #1164: Pull request #326 synchronize by N1ark
December 30, 2024 00:08 42m 31s N1ark:no-more-formula
N1ark:no-more-formula
December 30, 2024 00:08 42m 31s
Remove Formula CI #1163: Pull request #326 synchronize by N1ark
December 29, 2024 23:26 42m 33s N1ark:no-more-formula
N1ark:no-more-formula
December 29, 2024 23:26 42m 33s
Remove Formula CI #1162: Pull request #326 synchronize by N1ark
December 29, 2024 21:53 43m 40s N1ark:no-more-formula
N1ark:no-more-formula
December 29, 2024 21:53 43m 40s
Remove Formula CI #1161: Pull request #326 synchronize by N1ark
December 29, 2024 21:13 43m 20s N1ark:no-more-formula
N1ark:no-more-formula
December 29, 2024 21:13 43m 20s
Remove Asrt.Star (fix #159) CI #1160: Pull request #316 synchronize by N1ark
December 27, 2024 20:13 42m 2s N1ark:asrt-simple-list
N1ark:asrt-simple-list
December 27, 2024 20:13 42m 2s