Skip to content

Actions: agda/cornelis

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
36 workflow runs
36 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

wip: fix JSON agda API CI #200: Pull request #187 opened by 4e554c4c
1h 24m 45s 4e554c4c:fix-give
4e554c4c:fix-give
1h 24m 45s
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 CI #190: Commit 759ecdf pushed by 4e554c4c
44m 33s v2.7.1
v2.7.1
44m 33s
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 CI #178: Pull request #167 opened by 4e554c4c
25m 24s 4e554c4c:yeet-macos
4e554c4c:yeet-macos
25m 24s
Implement: Make the rewrite mode modifiable #41 CI #177: Commit 01babd0 pushed by 4e554c4c
1h 6m 16s master
master
1h 6m 16s
add tagging policy and lazy instructions CI #176: Commit 255586b pushed by 4e554c4c
56m 34s master
master
56m 34s
add tagging policy and lazy instructions CI #175: Pull request #166 synchronize by 4e554c4c
52m 35s 4e554c4c:tag-policy
4e554c4c:tag-policy
52m 35s