Skip to content

Actions: 4e554c4c/cornelis

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
31 workflow runs
31 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix JSON agda API CI #34: Commit e8e4ff0 pushed by 4e554c4c
1h 27m 48s fix-give
fix-give
1h 27m 48s
feat: CornelisTerminationProblem, CornelisPositivityProblem CI #33: Commit 8f7bdfe pushed by 4e554c4c
1h 26m 55s master
master
1h 26m 55s
spelling: US CI #32: Commit 75b2f5e pushed by 4e554c4c
1h 25m 15s master
master
1h 25m 15s
documentation CI #31: Commit d18cb7c pushed by 4e554c4c
1h 25m 47s master
master
1h 25m 47s
add debugging option CI #30: Commit 3764113 pushed by 4e554c4c
1h 25m 4s debug
debug
1h 25m 4s
wip: constraints CI #29: Commit d9a8845 pushed by 4e554c4c
1h 24m 1s constraints
constraints
1h 24m 1s
Upgrade to stack lts 23.17 CI #28: Commit 44281c0 pushed by 4e554c4c
1h 23m 15s upgrade-stack
upgrade-stack
1h 23m 15s
Get Agda version via interaction mode CI #27: Commit 595433b pushed by 4e554c4c
1h 17m 29s version
version
1h 17m 29s
Display list of possible constructors to introduce CI #26: Commit 72382c5 pushed by 4e554c4c
1h 25m 10s master
master
1h 25m 10s
Display list of possible constructors to introduce CI #25: Commit 72382c5 pushed by 4e554c4c
1h 24m 36s main
main
1h 24m 36s
Fix Agda RPC for upcoming 2.8.0 CI #24: Commit dca4bda pushed by 4e554c4c
1h 25m 21s master
master
1h 25m 21s
Fix Agda RPC for upcoming 2.8.0 Nix Agda CI #11: Commit dca4bda pushed by 4e554c4c
1m 4s master
master
1m 4s
Fix Agda RPC for upcoming 2.8.0 CI #23: Commit 4262831 pushed by 4e554c4c
1h 28m 10s fix-interval
fix-interval
1h 28m 10s
Fix Agda RPC for upcoming 2.8.0 Nix Agda CI #10: Commit 4262831 pushed by 4e554c4c
1m 13s fix-interval
fix-interval
1m 13s
Remove MacOS tests CI #22: Commit 6b8eb30 pushed by 4e554c4c
28m 52s yeet-macos
yeet-macos
28m 52s
Remove MacOS tests Nix Agda CI #9: Commit 6b8eb30 pushed by 4e554c4c
1m 10s yeet-macos
yeet-macos
1m 10s
add tagging policy and lazy instructions CI #21: Commit 69f1caa pushed by 4e554c4c
53m 26s tag-policy
tag-policy
53m 26s
add tagging policy and lazy instructions CI #20: Commit b4324c3 pushed by 4e554c4c
43m 58s tag-policy
tag-policy
43m 58s
CI CI #19: by 4e554c4c
43m 30s v2.7.0
v2.7.0
43m 30s
Nix Agda CI Nix Agda CI #8: by 4e554c4c
2m 4s v2.7.0
v2.7.0
2m 4s
Set ft=markdown.agda for *.lagda.md Nix Agda CI #7: Commit 3822ee2 pushed by 4e554c4c
4m 17s md
md
4m 17s
Set ft=markdown.agda for *.lagda.md CI #18: Commit 3822ee2 pushed by 4e554c4c
41m 28s md
md
41m 28s
update workflows CI #17: Commit fa3c8e6 pushed by 4e554c4c
40m 12s workflows
workflows
40m 12s
update workflows Nix Agda CI #6: Commit fa3c8e6 pushed by 4e554c4c
2m 2s workflows
workflows
2m 2s
update workflows CI #16: Commit c340a8c pushed by 4e554c4c
39m 45s workflows
workflows
39m 45s