10000 Workflow runs · agda/agda2hs · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Actions: agda/agda2hs

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
495 workflow runs
495 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Neaten Agda2Hs.Render CI #796: Pull request #414 opened by HeinrichApfelmus
May 29, 2025 09:52 19m 42s HeinrichApfelmus:HeinrichApfelmus/lang-haskell-imports
HeinrichApfelmus:HeinrichApfelmus/lang-haskell-imports
May 29, 2025 09:52 19m 42s
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
Reorganize Monad laws, prove Applicative laws CI #795: Pull request #412 synchronize by HeinrichApfelmus
May 28, 2025 12:22 3m 49s HeinrichApfelmus:HeinrichApfelmus/monad-laws
HeinrichApfelmus:HeinrichApfelmus/monad-laws
May 28, 2025 12:22 3m 49s
Add module hierarchy Agda2Hs.Language.Haskell CI #794: Pull request #413 synchronize by HeinrichApfelmus
May 28, 2025 10:43 4m 54s HeinrichApfelmus:HeinrichApfelmus/language-haskell
HeinrichApfelmus:HeinrichApfelmus/language-haskell
May 28, 2025 10:43 4m 54s
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 CI #793: Pull request #413 synchronize by HeinrichApfelmus
May 26, 2025 13:33 19m 54s HeinrichApfelmus:HeinrichApfelmus/language-haskell
HeinrichApfelmus:HeinrichApfelmus/language-haskell
May 26, 2025 13:33 19m 54s
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 CI #792: Pull request #413 opened by HeinrichApfelmus
May 26, 2025 13:31 16m 39s HeinrichApfelmus:HeinrichApfelmus/language-haskell
HeinrichApfelmus:HeinrichApfelmus/language-haskell
May 26, 2025 13:31 16m 39s
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
Add containers-lib to nix flake packages CI #791: Pull request #407 synchronize by HeinrichApfelmus
May 26, 2025 09:16 4m 11s HeinrichApfelmus:HeinrichApfelmus/add-containers-lib-flake
HeinrichApfelmus:HeinrichApfelmus/add-containers-lib-flake
May 26, 2025 09:16 4m 11s
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
Reorganize Monad laws, prove Applicative laws CI #790: Pull request #412 opened by HeinrichApfelmus
May 24, 2025 11:04 19m 18s HeinrichApfelmus:HeinrichApfelmus/monad-laws
HeinrichApfelmus:HeinrichApfelmus/monad-laws
May 24, 2025 11:04 19m 18s
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 CI #789: Pull request #407 synchronize by HeinrichApfelmus
May 22, 2025 12:31 19m 42s HeinrichApfelmus:HeinrichApfelmus/add-containers-lib-flake
HeinrichApfelmus:HeinrichApfelmus/add-containers-lib-flake
May 22, 2025 12:31 19m 42s
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
Add containers-lib to nix flake packages CI #788: Pull request #407 synchronize by HeinrichApfelmus
May 22, 2025 12:18 20m 20s HeinrichApfelmus:HeinrichApfelmus/add-containers-lib-flake
HeinrichApfelmus:HeinrichApfelmus/add-containers-lib-flake
May 22, 2025 12:18 20m 20s
pages build and deployment pages-build-deployment #115: by github-pages bot
May 12, 2025 14:00 27s gh-pages
gh-pages
May 12, 2025 14:00 27s
pages build and deployment pages-build-deployment #114: by github-pages bot
May 12, 2025 14:00 30s gh-pages
gh-pages
May 12, 2025 14:00 30s
pages build and deployment pages-build-deployment #113: by github-pages bot
May 12, 2025 13:42 36s gh-pages
gh-pages
May 12, 2025 13:42 36s
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 away from magic nix cache since it's discontinued CI #787: Commit 256e604 pushed by jespercockx
May 12, 2025 13:42 19m 56s master
master
May 12, 2025 13:42 19m 56s
switch away from magic nix cache since it's discontinued Docs #180: Commit 256e604 pushed by jespercockx
May 12, 2025 13:42 26s master
master
May 12, 2025 13:42 26s
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
0