Skip to content

Actions: GillianPlatform/Gillian

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
289 workflow runs
289 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add state transformers!
CI #1145: Pull request #324 synchronize by N1ark
December 11, 2024 12:41 11m 58s 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
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
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
December 11, 2024 09:03 13m 18s
wisl formatting
CI #1141: Commit d548b7c pushed by AndreasLoow
December 11, 2024 09:01 14m 13s 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
December 11, 2024 08:47 13m 16s
Add state transformers!
CI #1139: Pull request #324 synchronize by N1ark
December 11, 2024 08:33 9m 4s N1ark:transformers
December 11, 2024 08:33 9m 4s
Fix some counterexaple production (#323)
CI #1138: Commit 9d7ee36 pushed by NatKarmios
December 11, 2024 01:14 13m 20s master
December 11, 2024 01:14 13m 20s
Add state transformers!
CI #1137: Pull request #324 opened by N1ark
December 10, 2024 23:22 11m 55s N1ark:transformers
December 10, 2024 23:22 11m 55s
Fix some counterexaple production
CI #1136: Pull request #323 opened by NatKarmios
December 10, 2024 19:38 44m 8s nat/counterexamples
December 10, 2024 19:38 44m 8s
Website fixup (#322)
CI #1135: Commit 17c9089 pushed by NatKarmios
December 9, 2024 14:19 24m 14s master
December 9, 2024 14:19 24m 14s
Website fixup
CI #1134: Pull request #322 synchronize by NatKarmios
December 6, 2024 14:40 43m 50s nat/website-fixup
December 6, 2024 14:40 43m 50s
Website fixup
CI #1133: Pull request #322 synchronize by NatKarmios
December 5, 2024 18:07 43m 2s nat/website-fixup
December 5, 2024 18:07 43m 2s
Website fixup
CI #1132: Pull request #322 synchronize by NatKarmios
December 5, 2024 18:04 43m 40s nat/website-fixup
December 5, 2024 18:04 43m 40s
Website fixup
CI #1131: Pull request #322 synchronize by NatKarmios
December 3, 2024 17:15 46m 8s nat/website-fixup
December 3, 2024 17:15 46m 8s
Website fixup
CI #1130: Pull request #322 synchronize by NatKarmios
December 3, 2024 15:53 43m 5s nat/website-fixup
December 3, 2024 15:53 43m 5s
Website fixup
CI #1129: Pull request #322 synchronize by NatKarmios
December 3, 2024 12:37 49m 5s nat/website-fixup
December 3, 2024 12:37 49m 5s
Website fixup
CI #1128: Pull request #322 opened by NatKarmios
December 3, 2024 11:51 18m 4s nat/website-fixup
December 3, 2024 11:51 18m 4s
Tweaks for 2024 lab (#321)
CI #1127: Commit 39d9765 pushed by NatKarmios
December 2, 2024 13:34 22m 54s master
December 2, 2024 13:34 22m 54s
Tweaks for 2024 lab
CI #1126: Pull request #321 opened by NatKarmios
December 2, 2024 12:35 55m 12s nat/lab-24
December 2, 2024 12:35 55m 12s
move api reference out of about section
CI #1125: Commit ee623a4 pushed by AndreasLoow
November 20, 2024 09:23 13m 34s master
November 20, 2024 09:23 13m 34s
separate general doc from pldi'20 specific doc
CI #1124: Commit 9d33ec2 pushed by AndreasLoow
November 19, 2024 15:05 12m 57s master
November 19, 2024 15:05 12m 57s
mention simon's tacas paper
CI #1123: Commit 2696c4b pushed by AndreasLoow
November 19, 2024 13:50 13m 5s master
November 19, 2024 13:50 13m 5s
titles
CI #1122: Commit 5c79ebe pushed by AndreasLoow
November 19, 2024 13:21 14m 31s master
November 19, 2024 13:21 14m 31s
hide part i diff
CI #1121: Commit ccebe87 pushed by AndreasLoow
November 19, 2024 12:30 12m 54s master
November 19, 2024 12:30 12m 54s