Skip to content

Actions: isovector/cornelis

Actions

Nix Agda CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
nix-agda.yml
22 workflow runs
22 workflow runs
Event

Filter by event

Loading
Status

Filter by status

Loading
Branch
Actor

Filter by actor

Loading
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
Merge pull request #134 from malob/update-ghc Nix Agda CI #29: Commit 0273a74 pushed by isovector
December 20, 2023 15:52 5m 32s master
master
December 20, 2023 15:52 5m 32s
Update GHC versions with default as 9.4.8 Nix Agda CI #28: Pull request #134 opened by malob
December 20, 2023 12:25 3m 19s malob:update-ghc
malob:update-ghc
December 20, 2023 12:25 3m 19s
Merge pull request #126 from malob/update-ghc Nix Agda CI #27: Commit 4569a83 pushed by isovector
November 7, 2023 07:05 48m 29s master
master
November 7, 2023 07:05 48m 29s
Update GHC versions with default as 9.4.7 Nix Agda CI #26: Pull request #126 opened by malob
November 7, 2023 02:08 42m 55s malob:update-ghc
malob:update-ghc
November 7, 2023 02:08 42m 55s
Merge pull request #123 from malob/fix-agda-builds Nix Agda CI #25: Commit d7ec58b pushed by isovector
September 12, 2023 17:47 58m 30s master
master
September 12, 2023 17:47 58m 30s
Fix Agda builds Nix Agda CI #24: Pull request #123 opened by malob
September 9, 2023 00:04 52m 53s malob:fix-agda-builds
malob:fix-agda-builds
September 9, 2023 00:04 52m 53s
Merge pull request #122 from malob/fix-mac-ci Nix Agda CI #23: Commit 6e8dd29 pushed by isovector
September 7, 2023 05:06 47m 27s master
master
September 7, 2023 05:06 47m 27s
Improve CI Nix Agda CI #22: Pull request #122 synchronize by malob
September 6, 2023 19:54 29m 49s malob:fix-mac-ci
malob:fix-mac-ci
September 6, 2023 19:54 29m 49s
Improve CI Nix Agda CI #21: Pull request #122 opened by malob
September 6, 2023 18:47 42m 30s malob:fix-mac-ci
malob:fix-mac-ci
September 6, 2023 18:47 42m 30s
Merge pull request #120 from malob/update-GHCs Nix Agda CI #20: Commit 59cfd2b pushed by isovector
September 6, 2023 18:05 40m 6s master
master
September 6, 2023 18:05 40m 6s
Update GHC versions Nix Agda CI #19: Pull request #120 synchronize by malob
September 6, 2023 18:04 45m 15s malob:update-GHCs
malob:update-GHCs
September 6, 2023 18:04 45m 15s
Update GHC versions Nix Agda CI #18: Pull request #120 opened by malob
June 12, 2023 18:14 1h 23m 36s malob:update-GHCs
malob:update-GHCs
June 12, 2023 18:14 1h 23m 36s