Skip to content

Actions: GillianPlatform/Gillian

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
297 workflow runs
297 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Add state transformers! CI #1139: Pull request #324 synchronize by N1ark
December 11, 2024 08:33 9m 4s N1ark:transformers
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
master
November 19, 2024 13:50 13m 5s
titles CI #1122: Commit 5c79ebe pushed by AndreasLoow
November 19, 2024 13:21 14m 31s master
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
master
November 19, 2024 12:30 12m 54s
Include links to API reference in Sphinx (#320) CI #1120: Commit 34a1de3 pushed by NatKarmios
November 19, 2024 12:15 13m 52s master
master
November 19, 2024 12:15 13m 52s
Include links to API reference in Sphinx CI #1119: Pull request #320 reopened by NatKarmios
November 19, 2024 12:14 43m 30s sphinx-api-link
sphinx-api-link
November 19, 2024 12:14 43m 30s
Include links to API reference in Sphinx CI #1118: Pull request #320 opened by NatKarmios
November 19, 2024 12:14 43m 32s sphinx-api-link
sphinx-api-link
November 19, 2024 12:14 43m 32s
oops, typo CI #1117: Commit e8e1047 pushed by AndreasLoow
November 19, 2024 12:08 15m 6s master
master
November 19, 2024 12:08 15m 6s
more helpful link CI #1116: Commit dd6df4d pushed by AndreasLoow
November 19, 2024 12:07 13m 19s master
master
November 19, 2024 12:07 13m 19s