Skip to content

Actions: agda/cornelis

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
49 workflow runs
49 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

remove {} from iskeyword CI #205: Commit 8401538 pushed by 4e554c4c
27m 59s master
master
27m 59s
parenthesize for CornelisSolve CI #204: Pull request #190 synchronize by leo-leesco
Action required leo-leesco:parenthesize
leo-leesco:parenthesize
Action required
parenthesize for CornelisSolve CI #203: Pull request #190 opened by leo-leesco
Action required leo-leesco:parenthesize
leo-leesco:parenthesize
Action required
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 feat/highlight-groups
feat/highlight-groups
1h 16m 0s
feat: CornelisTerminationProblem, CornelisPositivityProblem CI #197: Pull request #184 synchronize by foxyseta
1h 14m 47s feat/highlight-groups
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 doc/typos
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