8000 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

switch from DeterminateSystems/magic-nix-cache-action to nix-community/cache-nix-action CI #786: Pull request #410 opened by liesnikov
May 12, 2025 10:11 20m 18s liesnikov:master
liesnikov:master
May 12, 2025 10:11 20m 18s
Add containers-lib to nix flake packages CI #785: Pull request #407 opened by HeinrichApfelmus
May 2, 2025 10:25 3m 12s HeinrichApfelmus:HeinrichApfelmus/add-containers-lib-flake
HeinrichApfelmus:HeinrichApfelmus/add-containers-lib-flake
May 2, 2025 10:25 3m 12s
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
pages build and deployment pages-build-deployment #112: by github-pages bot
May 1, 2025 15:35 28s gh-pages
gh-pages
May 1, 2025 15:35 28s
pages build and deployment pages-build-deployment #111: by github-pages bot
May 1, 2025 15:34 25s gh-pages
gh-pages
May 1, 2025 15:34 25s
pages build and deployment pages-build-deployment #110: by github-pages bot
May 1, 2025 15:17 22s gh-pages
gh-pages
May 1, 2025 15:17 22s
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-prop.cabal, use in CI Docs #179: Commit 47eb949 pushed by omelkonian
May 1, 2025 15:16 25s master
master
May 1, 2025 15:16 25s
Add containers-prop.cabal, use in CI CI #784: Commit 47eb949 pushed by omelkonian
May 1, 2025 15:16 19m 38s master
master
May 1, 2025 15:16 19m 38s
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 CI #783: Pull request #406 synchronize by HeinrichApfelmus
May 1, 2025 11:01 3m 15s HeinrichApfelmus:HeinrichApfelmus/add-containers
HeinrichApfelmus:HeinrichApfelmus/add-containers
May 1, 2025 11:01 3m 15s
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 CI #782: Pull request #406 synchronize by HeinrichApfelmus
May 1, 2025 10:58 1m 21s HeinrichApfelmus:HeinrichApfelmus/add-containers
HeinrichApfelmus:HeinrichApfelmus/add-containers
May 1, 2025 10:58 1m 21s
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 CI #781: Pull request #406 synchronize by HeinrichApfelmus
May 1, 2025 10:54 46s HeinrichApfelmus:HeinrichApfelmus/add-containers
HeinrichApfelmus:HeinrichApfelmus/add-containers
May 1, 2025 10:54 46s
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 CI #780: Pull request #406 synchronize by HeinrichApfelmus
April 30, 2025 10:44 3m 0s HeinrichApfelmus:HeinrichApfelmus/add-containers
HeinrichApfelmus:HeinrichApfelmus/add-containers
April 30, 2025 10:44 3m 0s
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 CI #779: Pull request #406 synchronize by HeinrichApfelmus
April 29, 2025 13:55 19m 27s HeinrichApfelmus:HeinrichApfelmus/add-containers
HeinrichApfelmus:HeinrichApfelmus/add-containers
April 29, 2025 13:55 19m 27s
Add containers.agda-lib to lib directory CI #778: Pull request #406 synchronize by HeinrichApfelmus
April 17, 2025 10:17 3m 19s HeinrichApfelmus:HeinrichApfelmus/add-containers
HeinrichApfelmus:HeinrichApfelmus/add-containers
April 17, 2025 10:17 3m 19s
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
pages build and deployment pages-build-deployment #109: by github-pages bot
April 16, 2025 13:25 22s gh-pages
gh-pages
April 16, 2025 13:25 22s
pages build and deployment pages-build-deployment #108: by github-pages bot
April 16, 2025 13:25 25s gh-pages
gh-pages
April 16, 2025 13:25 25s
pages build and deployment pages-build-deployment #107: by github-pages bot
April 16, 2025 13:08 25s gh-pages
gh-pages
April 16, 2025 13:08 25s
Rename agda2hs.agda-lib to base.agda-lib Docs #178: Commit 6c9de68 pushed by omelkonian
April 16, 2025 13:08 22s master
master
April 16, 2025 13:08 22s
< 10C5 template id="site-details-dialog">
0