Skip to content

Actions: GillianPlatform/Gillian

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
296 workflow runs
296 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Remove Formula CI #1159: Pull request #326 synchronize by N1ark
December 27, 2024 20:06 43m 0s N1ark:no-more-formula
N1ark:no-more-formula
December 27, 2024 20:06 43m 0s
Remove Formula CI #1158: Pull request #326 synchronize by N1ark
December 25, 2024 22:30 42m 10s N1ark:no-more-formula
N1ark:no-more-formula
December 25, 2024 22:30 42m 10s
Remove Formula CI #1157: Pull request #326 synchronize by N1ark
December 25, 2024 15:57 9m 7s N1ark:no-more-formula
N1ark:no-more-formula
December 25, 2024 15:57 9m 7s
Remove Formula CI #1156: Pull request #326 opened by N1ark
December 25, 2024 14:03 8m 38s N1ark:no-more-formula
N1ark:no-more-formula
December 25, 2024 14:03 8m 38s
Remove Asrt.Star (fix #159) CI #1155: Pull request #316 synchronize by N1ark
December 23, 2024 14:47 42m 52s N1ark:asrt-simple-list
N1ark:asrt-simple-list
December 23, 2024 14:47 42m 52s
Remove Asrt.Star (fix #159) CI #1154: Pull request #316 synchronize by N1ark
December 23, 2024 13:14 42m 51s N1ark:asrt-simple-list
N1ark:asrt-simple-list
December 23, 2024 13:14 42m 51s
Remove Asrt.Star (fix #159) CI #1153: Pull request #316 synchronize by N1ark
December 23, 2024 10:38 43m 28s N1ark:asrt-simple-list
N1ark:asrt-simple-list
December 23, 2024 10:38 43m 28s
Remove Asrt.Star (fix #159) CI #1152: Pull request #316 synchronize by N1ark
December 22, 2024 16:55 43m 15s N1ark:asrt-simple-list
N1ark:asrt-simple-list
December 22, 2024 16:55 43m 15s
Remove Asrt.Star (fix #159) CI #1151: Pull request #316 synchronize by N1ark
December 21, 2024 10:48 42m 18s N1ark:asrt-simple-list
N1ark:asrt-simple-list
December 21, 2024 10:48 42m 18s
Tweak Match_map to support branching anywhere (#325) CI #1150: Commit b9ff39f pushed by NatKarmios
December 18, 2024 17:20 15m 53s master
master
December 18, 2024 17:20 15m 53s
Tweak Match_map to support branching anywhere CI #1149: Pull request #325 synchronize by NatKarmios
December 18, 2024 16:56 42m 11s nat/lab-bug-fix
nat/lab-bug-fix
December 18, 2024 16:56 42m 11s
new name for the Gillian lab CI #1148: Commit d30b852 pushed by AndreasLoow
December 18, 2024 15:10 13m 47s master
master
December 18, 2024 15:10 13m 47s
Tweak Match_map to support branching anywhere CI #1147: Pull request #325 opened by NatKarmios
December 18, 2024 14:54 46m 29s nat/lab-bug-fix
nat/lab-bug-fix
December 18, 2024 14:54 46m 29s
Remove Asrt.Star (fix #159) CI #1146: Pull request #316 synchronize by N1ark
December 17, 2024 01:49 9m 4s N1ark:asrt-simple-list
N1ark:asrt-simple-list
December 17, 2024 01:49 9m 4s
Add state transformers! CI #1145: Pull request #324 synchronize by N1ark
December 11, 2024 12:41 11m 58s N1ark:transformers
N1ark:transformers
December 11, 2024 12:41 11m 58s
Remove Asrt.Star (fix #159) CI #1144: Pull request #316 synchronize by N1ark
December 11, 2024 11:15 8m 39s N1ark:asrt-simple-list
N1ark:asrt-simple-list
December 11, 2024 11:15 8m 39s
Remove Asrt.Star (fix #159) CI #1143: Pull request #316 synchronize by N1ark
December 11, 2024 11:06 6m 31s N1ark:asrt-simple-list
N1ark:asrt-simple-list
December 11, 2024 11:06 6m 31s
name self-explanatory now CI #1142: Commit 4e46654 pushed by AndreasLoow
December 11, 2024 09:03 13m 18s master
master
December 11, 2024 09:03 13m 18s
wisl formatting CI #1141: Commit d548b7c pushed by AndreasLoow
December 11, 2024 09:01 14m 13s master
master
December 11, 2024 09:01 14m 13s
Gillian-JS symbolic testing documentation for website CI #1140: Commit 649f1e0 pushed by AndreasLoow
December 11, 2024 08:47 13m 16s master
master
December 11, 2024 08:47 13m 16s