Skip to content

Actions: agda/agda2hs

Actions

Nix CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
nix-ci.yml
176 workflow runs
176 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Neaten Agda2Hs.Render Nix CI #201: Pull request #414 opened by HeinrichApfelmus
May 29, 2025 09:52 2m 10s HeinrichApfelmus:HeinrichApfelmus/lang-haskell-imports
HeinrichApfelmus:HeinrichApfelmus/lang-haskell-imports
May 29, 2025 09:52 2m 10s
Reorganize Monad laws, prove Applicative laws Nix CI #200: Pull request #412 synchronize by HeinrichApfelmus
May 28, 2025 12:22 1m 30s HeinrichApfelmus:HeinrichApfelmus/monad-laws
HeinrichApfelmus:HeinrichApfelmus/monad-laws
May 28, 2025 12:22 1m 30s
Add module hierarchy Agda2Hs.Language.Haskell Nix CI #199: Pull request #413 synchronize by HeinrichApfelmus
May 28, 2025 10:43 1m 36s HeinrichApfelmus:HeinrichApfelmus/language-haskell
HeinrichApfelmus:HeinrichApfelmus/language-haskell
May 28, 2025 10:43 1m 36s
Add module hierarchy Agda2Hs.Language.Haskell Nix CI #198: Pull request #413 synchronize by HeinrichApfelmus
May 26, 2025 13:33 2m 33s HeinrichApfelmus:HeinrichApfelmus/language-haskell
HeinrichApfelmus:HeinrichApfelmus/language-haskell
May 26, 2025 13:33 2m 33s
Add module hierarchy Agda2Hs.Language.Haskell Nix CI #197: Pull request #413 opened by HeinrichApfelmus
May 26, 2025 13:31 1m 40s HeinrichApfelmus:HeinrichApfelmus/language-haskell
HeinrichApfelmus:HeinrichApfelmus/language-haskell
May 26, 2025 13:31 1m 40s
Add containers-lib to nix flake packages Nix CI #196: Pull request #407 synchronize by HeinrichApfelmus
May 26, 2025 09:16 2m 46s HeinrichApfelmus:HeinrichApfelmus/add-containers-lib-flake
HeinrichApfelmus:HeinrichApfelmus/add-containers-lib-flake
May 26, 2025 09:16 2m 46s
Reorganize Monad laws, prove Applicative laws Nix CI #195: Pull request #412 opened by HeinrichApfelmus
May 24, 2025 11:04 3m 0s HeinrichApfelmus:HeinrichApfelmus/monad-laws
HeinrichApfelmus:HeinrichApfelmus/monad-laws
May 24, 2025 11:04 3m 0s
Add containers-lib to nix flake packages Nix CI #194: Pull request #407 synchronize by HeinrichApfelmus
May 22, 2025 12:31 2m 37s HeinrichApfelmus:HeinrichApfelmus/add-containers-lib-flake
HeinrichApfelmus:HeinrichApfelmus/add-containers-lib-flake
May 22, 2025 12:31 2m 37s
Add containers-lib to nix flake packages Nix CI #193: Pull request #407 synchronize by HeinrichApfelmus
May 22, 2025 12:18 2m 15s HeinrichApfelmus:HeinrichApfelmus/add-containers-lib-flake
HeinrichApfelmus:HeinrichApfelmus/add-containers-lib-flake
May 22, 2025 12:18 2m 15s
switch away from magic nix cache since it's discontinued Nix CI #192: Commit 256e604 pushed by jespercockx
May 12, 2025 13:42 2m 54s master
master
May 12, 2025 13:42 2m 54s
switch from DeterminateSystems/magic-nix-cache-action to nix-community/cache-nix-action Nix CI #191: Pull request #410 opened by liesnikov
May 12, 2025 10:11 2m 46s liesnikov:master
liesnikov:master
May 12, 2025 10:11 2m 46s
Add containers-lib to nix flake packages Nix CI #190: Pull request #407 opened by HeinrichApfelmus
May 2, 2025 10:25 3m 1s HeinrichApfelmus:HeinrichApfelmus/add-containers-lib-flake
HeinrichApfelmus:HeinrichApfelmus/add-containers-lib-flake
May 2, 2025 10:25 3m 1s
Add containers-prop.cabal, use in CI Nix CI #189: Commit 47eb949 pushed by omelkonian
May 1, 2025 15:16 3m 0s master
master
May 1, 2025 15:16 3m 0s
Add containers.agda-lib to lib directory Nix CI #188: Pull request #406 synchronize by HeinrichApfelmus
May 1, 2025 11:01 3m 31s HeinrichApfelmus:HeinrichApfelmus/add-containers
HeinrichApfelmus:HeinrichApfelmus/add-containers
May 1, 2025 11:01 3m 31s
Add containers.agda-lib to lib directory Nix CI #187: Pull request #406 synchronize by HeinrichApfelmus
May 1, 2025 10:58 3m 13s HeinrichApfelmus:HeinrichApfelmus/add-containers
HeinrichApfelmus:HeinrichApfelmus/add-containers
May 1, 2025 10:58 3m 13s
Add containers.agda-lib to lib directory Nix CI #186: Pull request #406 synchronize by HeinrichApfelmus
May 1, 2025 10:54 3m 4s HeinrichApfelmus:HeinrichApfelmus/add-containers
HeinrichApfelmus:HeinrichApfelmus/add-containers
May 1, 2025 10:54 3m 4s
Add containers.agda-lib to lib directory Nix CI #185: Pull request #406 synchronize by HeinrichApfelmus
April 30, 2025 10:44 3m 9s HeinrichApfelmus:HeinrichApfelmus/add-containers
HeinrichApfelmus:HeinrichApfelmus/add-containers
April 30, 2025 10:44 3m 9s
Add containers.agda-lib to lib directory Nix CI #184: Pull request #406 synchronize by HeinrichApfelmus
April 29, 2025 13:55 3m 3s HeinrichApfelmus:HeinrichApfelmus/add-containers
HeinrichApfelmus:HeinrichApfelmus/add-containers
April 29, 2025 13:55 3m 3s
Add containers.agda-lib to lib directory Nix CI #183: Pull request #406 synchronize by HeinrichApfelmus
April 17, 2025 10:17 2m 48s HeinrichApfelmus:HeinrichApfelmus/add-containers
HeinrichApfelmus:HeinrichApfelmus/add-containers
April 17, 2025 10:17 2m 48s
Rename agda2hs.agda-lib to base.agda-lib Nix CI #182: Commit 6c9de68 pushed by omelkonian
April 16, 2025 13:08 2m 50s master
master
April 16, 2025 13:08 2m 50s
Move agda2hs.agda-lib into lib directory and rename to base.agda-lib Nix CI #181: Pull request #405 synchronize by HeinrichApfelmus
April 16, 2025 10:56 2m 53s HeinrichApfelmus:HeinrichApfelmus/move-agda2hs-lib
HeinrichApfelmus:HeinrichApfelmus/move-agda2hs-lib
April 16, 2025 10:56 2m 53s
Move agda2hs.agda-lib into lib directory and rename to base.agda-lib Nix CI #180: Pull request #405 synchronize by HeinrichApfelmus
April 16, 2025 10:22 4m 1s HeinrichApfelmus:HeinrichApfelmus/move-agda2hs-lib
HeinrichApfelmus:HeinrichApfelmus/move-agda2hs-lib
April 16, 2025 10:22 4m 1s
Move agda2hs.agda-lib into lib directory and rename to base.agda-lib Nix CI #179: Pull request #405 synchronize by HeinrichApfelmus
April 16, 2025 10:04 3m 3s HeinrichApfelmus:HeinrichApfelmus/move-agda2hs-lib
HeinrichApfelmus:HeinrichApfelmus/move-agda2hs-lib
April 16, 2025 10:04 3m 3s
Add containers.agda-lib to lib directory Nix CI #178: Pull request #406 synchronize by HeinrichApfelmus
April 11, 2025 13:24 2m 37s HeinrichApfelmus:HeinrichApfelmus/add-containers
HeinrichApfelmus:HeinrichApfelmus/add-containers
April 11, 2025 13:24 2m 37s
Move agda2hs.agda-lib into lib directory and rename to base.agda-lib Nix CI #177: Pull request #405 synchronize by HeinrichApfelmus
April 11, 2025 13:24 2m 6s HeinrichApfelmus:HeinrichApfelmus/move-agda2hs-lib
HeinrichApfelmus:HeinrichApfelmus/move-agda2hs-lib
April 11, 2025 13:24 2m 6s