Skip to content

Actions: GillianPlatform/Gillian

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
274 workflow runs
274 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
index and install plus new readme CI #1115: Commit 47ae10a pushed by AndreasLoow
November 19, 2024 12:03 14m 19s master
master
November 19, 2024 12:03 14m 19s
Set title in Sphinx documentation (#319) CI #1114: Commit 2ad02fc pushed by NatKarmios
November 19, 2024 11:37 22m 50s master
master
November 19, 2024 11:37 22m 50s
Set title in Sphinx documentation CI #1113: Pull request #319 opened by NatKarmios
November 19, 2024 11:37 55m 36s docs-title
docs-title
November 19, 2024 11:37 55m 36s
publications order CI #1112: Commit c6802c5 pushed by AndreasLoow
November 1, 2024 08:09 20s master
master
November 1, 2024 08:09 20s
Various tweaks for TACAS '25 artifact (#317) CI #1111: Commit 86bc804 pushed by NatKarmios
October 29, 2024 10:51 25m 21s master
master
October 29, 2024 10:51 25m 21s
Various tweaks for TACAS '25 artifact CI #1109: Pull request #317 synchronize by NatKarmios
October 23, 2024 12:25 43m 59s nat/tacas25
nat/tacas25
October 23, 2024 12:25 43m 59s
Various tweaks for TACAS '25 artifact CI #1108: Pull request #317 synchronize by NatKarmios
October 22, 2024 05:16 42m 42s nat/tacas25
nat/tacas25
October 22, 2024 05:16 42m 42s
Various tweaks for TACAS '25 artifact CI #1107: Pull request #317 opened by NatKarmios
October 22, 2024 00:59 53m 14s nat/tacas25
nat/tacas25
October 22, 2024 00:59 53m 14s
Remove Asrt.Star (fix #159) CI #1106: Pull request #316 opened by N1ark
October 10, 2024 17:12 8m 14s N1ark:asrt-simple-list
N1ark:asrt-simple-list
October 10, 2024 17:12 8m 14s
Use Asrt.t instead of fixes! (#313) CI #1105: Commit 4cc7f8b pushed by giltho
October 10, 2024 13:26 24m 37s master
master
October 10, 2024 13:26 24m 37s
Use Asrt.t instead of fixes! CI #1104: Pull request #313 synchronize by N1ark
September 16, 2024 14:27 43m 24s N1ark:fix-fixes
N1ark:fix-fixes
September 16, 2024 14:27 43m 24s
Use Asrt.t instead of fixes! CI #1103: Pull request #313 synchronize by N1ark
September 15, 2024 11:48 42m 31s N1ark:fix-fixes
N1ark:fix-fixes
September 15, 2024 11:48 42m 31s
Use Asrt.t instead of fixes! CI #1102: Pull request #313 synchronize by N1ark
September 14, 2024 20:55 49m 28s N1ark:fix-fixes
N1ark:fix-fixes
September 14, 2024 20:55 49m 28s
Use Asrt.t instead of fixes! CI #1101: Pull request #313 opened by N1ark
September 14, 2024 20:54 52m 18s N1ark:fix-fixes
N1ark:fix-fixes
September 14, 2024 20:54 52m 18s
Something is over-approx for some reason... CI #1100: Pull request #301 synchronize by giltho
September 11, 2024 19:57 43m 20s delayed-fix
delayed-fix
September 11, 2024 19:57 43m 20s