Skip to content

Actions: agda/cornelis

Actions

Nix Agda CI

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Remove MacOS tests Nix Agda CI #48: Commit 552f13c pushed by 4e554c4c
February 19, 2025 16:43 1m 8s master
master
February 19, 2025 16:43 1m 8s
Remove MacOS tests Nix Agda CI #47: Pull request #167 opened by 4e554c4c
February 19, 2025 16:15 1m 4s 4e554c4c:yeet-macos
4e554c4c:yeet-macos
February 19, 2025 16:15 1m 4s
Implement: Make the rewrite mode modifiable #41 Nix Agda CI #46: Commit 01babd0 pushed by 4e554c4c
February 19, 2025 15:32 25m 33s master
master
February 19, 2025 15:32 25m 33s
Set ft=markdown.agda for *.lagda.md Nix Agda CI #45: Commit fd61ff3 pushed by 4e554c4c
February 19, 2025 15:00 2m 20s v2.7.0
v2.7.0
February 19, 2025 15:00 2m 20s
Implement: Make the rewrite mode modifiable #41 Nix Agda CI #44: Pull request #165 opened by ivanovs-4
February 17, 2025 23:17 19m 34s ivanovs-4:issue-rewrite-mode-41
ivanovs-4:issue-rewrite-mode-41
February 17, 2025 23:17 19m 34s
update workflows Nix Agda CI #43: Commit 2f43eb1 pushed by 4e554c4c
January 15, 2025 13:20 5m 24s master
master
January 15, 2025 13:20 5m 24s
update workflows Nix Agda CI #42: Pull request #163 synchronize by 4e554c4c
January 15, 2025 13:20 1m 55s 4e554c4c:workflows
4e554c4c:workflows
January 15, 2025 13:20 1m 55s
update workflows Nix Agda CI #41: Pull request #163 synchronize by 4e554c4c
January 15, 2025 12:17 1m 43s 4e554c4c:workflows
4e554c4c:workflows
January 15, 2025 12:17 1m 43s
update workflows Nix Agda CI #40: Pull request #163 opened by 4e554c4c
January 15, 2025 12:08 1m 49s 4e554c4c:workflows
4e554c4c:workflows
January 15, 2025 12:08 1m 49s
Fix testsuite Nix Agda CI #39: Pull request #152 opened by phijor
May 17, 2024 17:55 2m 10s phijor:fix-testsuite
phijor:fix-testsuite
May 17, 2024 17:55 2m 10s
Nix Agda CI Nix Agda CI #38: by isovector
May 17, 2024 07:26 4m 36s v2001
v2001
May 17, 2024 07:26 4m 36s
Release v0.2.0.0 Nix Agda CI #37: Commit c97b481 pushed by isovector
April 17, 2024 15:39 11m 57s v0.2.0.0
v0.2.0.0
April 17, 2024 15:39 11m 57s
Merge pull request #146 from phijor/reduce-closure-size Nix Agda CI #36: Commit 9d3347e pushed by isovector
April 8, 2024 17:04 2m 37s master
master
April 8, 2024 17:04 2m 37s
Reduce closure size of Nix derivation Nix Agda CI #35: Pull request #146 opened by phijor
April 7, 2024 17:06 3m 13s phijor:reduce-closure-size
phijor:reduce-closure-size
April 7, 2024 17:06 3m 13s
Merge pull request #145 from malob/update-ghc Nix Agda CI #34: Commit 54b417d pushed by isovector
March 26, 2024 16:53 2m 35s master
master
March 26, 2024 16:53 2m 35s
Update to GHC 9.6.4 Nix Agda CI #33: Pull request #145 opened by malob
March 25, 2024 19:44 3m 52s malob:update-ghc
malob:update-ghc
March 25, 2024 19:44 3m 52s
Allow running load synchronously Nix Agda CI #32: Pull request #137 opened by googleson78
February 18, 2024 16:48 2m 59s googleson78:gl/sync-load
googleson78:gl/sync-load
February 18, 2024 16:48 2m 59s
Merge pull request #136 from uf5/master Nix Agda CI #31: Commit c1f926e pushed by isovector
February 2, 2024 23:28 2m 57s master
master
February 2, 2024 23:28 2m 57s
buildVimPluginFrom2Nix is deprecated Nix Agda CI #30: Pull request #136 opened by uf5
February 1, 2024 19:39 2m 58s uf5:master
uf5:master
February 1, 2024 19:39 2m 58s