Skip to content

Actions: agda/cornelis

Actions

Nix Agda CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
nix-agda.yml
11 workflow runs
11 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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 Nix Agda CI #49: Commit 759ecdf pushed by 4e554c4c
3m 31s v2.7.1
v2.7.1
3m 31s
Remove MacOS tests Nix Agda CI #48: Commit 552f13c pushed by 4e554c4c
1m 8s master
master
1m 8s
Remove MacOS tests Nix Agda CI #47: Pull request #167 opened by 4e554c4c
1m 4s 4e554c4c:yeet-macos
4e554c4c:yeet-macos
1m 4s
Implement: Make the rewrite mode modifiable #41 Nix Agda CI #46: Commit 01babd0 pushed by 4e554c4c
25m 33s master
master
25m 33s
Set ft=markdown.agda for *.lagda.md Nix Agda CI #45: Commit fd61ff3 pushed by 4e554c4c
2m 20s v2.7.0
v2.7.0
2m 20s
Implement: Make the rewrite mode modifiable #41 Nix Agda CI #44: Pull request #165 opened by ivanovs-4
19m 34s ivanovs-4:issue-rewrite-mode-41
ivanovs-4:issue-rewrite-mode-41
19m 34s
update workflows Nix Agda CI #43: Commit 2f43eb1 pushed by 4e554c4c
5m 24s master
master
5m 24s
update workflows Nix Agda CI #42: Pull request #163 synchronize by 4e554c4c
1m 55s 4e554c4c:workflows
4e554c4c:workflows
1m 55s
update workflows Nix Agda CI #41: Pull request #163 synchronize by 4e554c4c
1m 43s 4e554c4c:workflows
4e554c4c:workflows
1m 43s
update workflows Nix Agda CI #40: Pull request #163 opened by 4e554c4c
1m 49s 4e554c4c:workflows
4e554c4c:workflows
1m 49s