Skip to content

Actions: 4e554c4c/cornelis

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
22 workflow runs
22 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 CI #23: Commit 4262831 pushed by 4e554c4c
1h 28m 10s fix-interval
fix-interval
1h 28m 10s
Remove MacOS tests CI #22: Commit 6b8eb30 pushed by 4e554c4c
28m 52s yeet-macos
yeet-macos
28m 52s
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
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 CI #16: Commit c340a8c pushed by 4e554c4c
39m 45s workflows
workflows
39m 45s
update workflows CI #15: Commit dff88d4 pushed by 4e554c4c
38m 33s workflows
workflows
38m 33s
Set ft=markdown.agda for *.lagda.md CI #14: Commit 5929e22 pushed by 4e554c4c
26m 26s md
md
26m 26s
Merge pull request #156 from iwashis/master CI #13: Commit 41b7d5e pushed by 4e554c4c
27m 27s master
master
27m 27s