Skip to content

Actions: agda/cornelis

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
47 workflow runs
47 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: CornelisTerminationProblem, CornelisPositivityProblem CI #199: Commit 8f7bdfe pushed by 4e554c4c
1h 16m 20s master
master
1h 16m 20s
feat: CornelisTerminationProblem, CornelisPositivityProblem CI #198: Pull request #184 synchronize by foxyseta
1h 16m 0s foxyseta:feat/highlight-groups
foxyseta:feat/highlight-groups
1h 16m 0s
feat: CornelisTerminationProblem, CornelisPositivityProblem CI #197: Pull request #184 synchronize by foxyseta
1h 14m 47s foxyseta:feat/highlight-groups
foxyseta:feat/highlight-groups
1h 14m 47s
doc: run spellchecker on project CI #196: Commit 3691650 pushed by 4e554c4c
1h 17m 25s master
master
1h 17m 25s
doc: run spellchecker on project CI #195: Pull request #183 synchronize by foxyseta
1h 16m 13s foxyseta:doc/typos
foxyseta:doc/typos
1h 16m 13s
documentation CI #193: Commit d18cb7c pushed by 4e554c4c
1h 26m 40s master
master
1h 26m 40s
Mint cornelis#unbind_input CI #192: Pull request #182 opened by CT075
1h 33m 23s CT075:unbind-input
CT075:unbind-input
1h 33m 23s
Upgrade to stack lts 23.17 CI #191: Commit deda7eb pushed by 4e554c4c
1h 25m 10s v2.8.0
v2.8.0
1h 25m 10s
Upgrade to stack lts 23.17 Nix Agda CI #50: Commit deda7eb pushed by 4e554c4c
1m 3s v2.8.0
v2.8.0
1m 3s
Upgrade to stack lts 23.17 CI #190: Commit 759ecdf pushed by 4e554c4c
44m 33s v2.7.1
v2.7.1
44m 33s
Upgrade to stack lts 23.17 Nix Agda CI #49: Commit 759ecdf pushed by 4e554c4c
3m 31s v2.7.1
v2.7.1
3m 31s
Upgrade to stack lts 23.17 CI #189: Commit 759ecdf pushed by 4e554c4c
38m 34s v2.7.0-compat
v2.7.0-compat
38m 34s
Upgrade to stack lts 23.17 CI #188: Commit deda7eb pushed by 4e554c4c
1h 25m 51s master
master
1h 25m 51s
Upgrade to stack lts 23.17 CI #187: Pull request #174 opened by 4e554c4c
1h 22m 14s 4e554c4c:upgrade-stack
4e554c4c:upgrade-stack
1h 22m 14s
Get Agda version via interaction mode CI #186: Commit 1173138 pushed by 4e554c4c
1h 19m 43s master
master
1h 19m 43s
Get Agda version via interaction mode CI #185: Pull request #171 opened by 4e554c4c
1h 18m 5s 4e554c4c:version
4e554c4c:version
1h 18m 5s
Display list of possible constructors to introduce CI #184: Commit 72382c5 pushed by 4e554c4c
1h 28m 11s main
main
1h 28m 11s
Display list of possible constructors to introduce CI #183: Commit 72382c5 pushed by 4e554c4c
1h 24m 42s master
master
1h 24m 42s
Display list of possible constructors to introduce CI #182: Pull request #170 opened by phijor
1h 25m 51s phijor:fix-intro-constructor-unknown
phijor:fix-intro-constructor-unknown
1h 25m 51s
Fix Agda RPC for upcoming 2.8.0 CI #181: Commit dca4bda pushed by 4e554c4c
1h 25m 54s master
master
1h 25m 54s
Fix Agda RPC for upcoming 2.8.0 CI #180: Pull request #168 opened by 4e554c4c
1h 25m 37s 4e554c4c:fix-interval
4e554c4c:fix-interval
1h 25m 37s
Remove MacOS tests CI #179: Commit 552f13c pushed by 4e554c4c
26m 36s master
master
26m 36s
Remove MacOS tests Nix Agda CI #48: Commit 552f13c pushed by 4e554c4c
1m 8s master
master
1m 8s
Remove MacOS tests CI #178: Pull request #167 opened by 4e554c4c
25m 24s 4e554c4c:yeet-macos
4e554c4c:yeet-macos
25m 24s
Remove MacOS tests Nix Agda CI #47: Pull request #167 opened by 4e554c4c
1m 4s 4e554c4c:yeet-macos
4e554c4c:yeet-macos
1m 4s