Skip to content

Actions: GillianPlatform/Gillian

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
290 workflow runs
290 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Transition debugger to SEDAP (#333) CI #1194: Commit d52b2ae pushed by NatKarmios
February 7, 2025 07:54 23m 1s master
master
February 7, 2025 07:54 23m 1s
Make LVar, PVar, Loc and ALoc opaque types CI #1193: Pull request #332 synchronize by N1ark
February 6, 2025 19:36 11m 40s N1ark:opacity
N1ark:opacity
February 6, 2025 19:36 11m 40s
Transition debugger to SEDAP CI #1192: Pull request #333 synchronize by NatKarmios
February 6, 2025 15:45 40m 57s nat/sedap
nat/sedap
February 6, 2025 15:45 40m 57s
Transition debugger to SEDAP CI #1191: Pull request #333 synchronize by NatKarmios
February 6, 2025 15:29 40m 44s nat/sedap
nat/sedap
February 6, 2025 15:29 40m 44s
Transition debugger to SEDAP CI #1190: Pull request #333 synchronize by NatKarmios
February 6, 2025 15:22 41m 59s nat/sedap
nat/sedap
February 6, 2025 15:22 41m 59s
Transition debugger to SEDAP CI #1189: Pull request #333 synchronize by NatKarmios
February 6, 2025 13:58 41m 31s nat/sedap
nat/sedap
February 6, 2025 13:58 41m 31s
Transition debugger to SEDAP CI #1188: Pull request #333 synchronize by NatKarmios
February 6, 2025 13:50 40m 54s nat/sedap
nat/sedap
February 6, 2025 13:50 40m 54s
Transition debugger to SEDAP CI #1187: Pull request #333 synchronize by NatKarmios
February 6, 2025 11:33 50m 34s nat/sedap
nat/sedap
February 6, 2025 11:33 50m 34s
Transition debugger to SEDAP CI #1186: Pull request #333 opened by NatKarmios
February 6, 2025 10:19 26s nat/sedap
nat/sedap
February 6, 2025 10:19 26s
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