Skip to content

Actions: HeinrichApfelmus/agda2hs

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
18 workflow runs
18 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #412 from HeinrichApfelmus/HeinrichApfelmus/monad-… Docs #6: Commit 39e9b0c pushed by HeinrichApfelmus
27s master
master
27s
Merge pull request #412 from HeinrichApfelmus/HeinrichApfelmus/monad-… CI #6: Commit 39e9b0c pushed by HeinrichApfelmus
19m 27s master
master
19m 27s
Merge pull request #412 from HeinrichApfelmus/HeinrichApfelmus/monad-… Nix CI #6: Commit 39e9b0c pushed by HeinrichApfelmus
2m 12s master
master
2m 12s
Factor out compileImportsWithPrelude CI #5: Commit a5cfdb3 pushed by HeinrichApfelmus
19m 31s master
master
19m 31s
Factor out compileImportsWithPrelude Nix CI #5: Commit a5cfdb3 pushed by HeinrichApfelmus
2m 16s master
master
2m 16s
Factor out compileImportsWithPrelude Docs #5: Commit a5cfdb3 pushed by HeinrichApfelmus
22s master
master
22s
Add module hierarchy Agda2Hs.Language.Haskell (#413) CI #4: Commit b3e8f3b pushed by HeinrichApfelmus
19m 44s master
master
19m 44s
Add module hierarchy Agda2Hs.Language.Haskell (#413) Docs #4: Commit b3e8f3b pushed by HeinrichApfelmus
25s master
master
25s
Add module hierarchy Agda2Hs.Language.Haskell (#413) Nix CI #4: Commit b3e8f3b pushed by HeinrichApfelmus
2m 16s master
master
2m 16s
switch away from magic nix cache since it's discontinued Docs #3: Commit 256e604 pushed by HeinrichApfelmus
28s master
master
28s
switch away from magic nix cache since it's discontinued Nix CI #3: Commit 256e604 pushed by HeinrichApfelmus
2m 14s master
master
2m 14s
switch away from magic nix cache since it's discontinued CI #3: Commit 256e604 pushed by HeinrichApfelmus
19m 59s master
master
19m 59s
Add containers-prop.cabal, use in CI Docs #2: Commit 47eb949 pushed by HeinrichApfelmus
24s master
master
24s
Add containers-prop.cabal, use in CI CI #2: Commit 47eb949 pushed by HeinrichApfelmus
20m 0s master
master
20m 0s
Add containers-prop.cabal, use in CI Nix CI #2: Commit 47eb949 pushed by HeinrichApfelmus
4m 13s master
master
4m 13s
Rename agda2hs.agda-lib to base.agda-lib Docs #1: Commit 6c9de68 pushed by HeinrichApfelmus
26s master
master
26s
Rename agda2hs.agda-lib to base.agda-lib CI #1: Commit 6c9de68 pushed by HeinrichApfelmus
19m 10s master
master
19m 10s
Rename agda2hs.agda-lib to base.agda-lib Nix CI #1: Commit 6c9de68 pushed by HeinrichApfelmus
2m 50s master
master
2m 50s