Skip to content

Actions: agda/agda2hs

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
591 workflow runs
591 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #99: by github-pages bot
February 21, 2025 08:22 23s gh-pages
gh-pages
February 21, 2025 08:22 23s
Fix libaries typo in introduction.md doc file Docs #170: Commit 302239f pushed by jespercockx
February 21, 2025 08:22 27s master
master
February 21, 2025 08:22 27s
Minor: Fix libaries typo in introduction.md doc file Nix CI #158: Pull request #398 opened by J0s3c4rl0s
February 20, 2025 18:13 2m 18s J0s3c4rl0s:master
J0s3c4rl0s:master
February 20, 2025 18:13 2m 18s
Minor: Fix libaries typo in introduction.md doc file CI #753: Pull request #398 opened by J0s3c4rl0s
February 20, 2025 18:13 20m 35s J0s3c4rl0s:master
J0s3c4rl0s:master
February 20, 2025 18:13 20m 35s
Rename Set to Type Nix CI #157: Pull request #397 synchronize by HeinrichApfelmus
February 1, 2025 12:57 2m 16s HeinrichApfelmus:HeinrichApfelmus/set-to-type
HeinrichApfelmus:HeinrichApfelmus/set-to-type
February 1, 2025 12:57 2m 16s
Rename Set to Type CI #752: Pull request #397 synchronize by HeinrichApfelmus
February 1, 2025 12:57 22m 8s HeinrichApfelmus:HeinrichApfelmus/set-to-type
HeinrichApfelmus:HeinrichApfelmus/set-to-type
February 1, 2025 12:57 22m 8s
Rename Set to Type Nix CI #156: Pull request #397 synchronize by HeinrichApfelmus
February 1, 2025 12:37 2m 29s HeinrichApfelmus:HeinrichApfelmus/set-to-type
HeinrichApfelmus:HeinrichApfelmus/set-to-type
February 1, 2025 12:37 2m 29s
Rename Set to Type CI #751: Pull request #397 synchronize by HeinrichApfelmus
February 1, 2025 12:37 2m 3s HeinrichApfelmus:HeinrichApfelmus/set-to-type
HeinrichApfelmus:HeinrichApfelmus/set-to-type
February 1, 2025 12:37 2m 3s
Rename Set to Type CI #750: Pull request #397 opened by HeinrichApfelmus
January 31, 2025 16:11 1m 58s HeinrichApfelmus:HeinrichApfelmus/set-to-type
HeinrichApfelmus:HeinrichApfelmus/set-to-type
January 31, 2025 16:11 1m 58s
Rename Set to Type Nix CI #155: Pull request #397 opened by HeinrichApfelmus
January 31, 2025 16:11 2m 10s HeinrichApfelmus:HeinrichApfelmus/set-to-type
HeinrichApfelmus:HeinrichApfelmus/set-to-type
January 31, 2025 16:11 2m 10s
Add Haskell.Data.List CI #749: Pull request #396 synchronize by HeinrichApfelmus
January 29, 2025 22:22 7m 39s HeinrichApfelmus:HeinrichApfelmus/data-list
HeinrichApfelmus:HeinrichApfelmus/data-list
January 29, 2025 22:22 7m 39s
Add Haskell.Data.List Nix CI #154: Pull request #396 synchronize by HeinrichApfelmus
January 29, 2025 22:22 3m 42s HeinrichApfelmus:HeinrichApfelmus/data-list
HeinrichApfelmus:HeinrichApfelmus/data-list
January 29, 2025 22:22 3m 42s
Add Haskell.Data.List CI #748: Pull request #396 opened by HeinrichApfelmus
January 24, 2025 20:44 5m 54s HeinrichApfelmus:HeinrichApfelmus/data-list
HeinrichApfelmus:HeinrichApfelmus/data-list
January 24, 2025 20:44 5m 54s
Add Haskell.Data.List Nix CI #153: Pull request #396 opened by HeinrichApfelmus
January 24, 2025 20:44 2m 37s HeinrichApfelmus:HeinrichApfelmus/data-list
HeinrichApfelmus:HeinrichApfelmus/data-list
January 24, 2025 20:44 2m 37s
[ fix #394 ] More uniform and consistent classification of modules Nix CI #152: Commit 7e24278 pushed by jespercockx
January 24, 2025 13:21 2m 12s master
master
January 24, 2025 13:21 2m 12s
[ fix #394 ] More uniform and consistent classification of modules Docs #169: Commit 7e24278 pushed by jespercockx
January 24, 2025 13:21 26s master
master
January 24, 2025 13:21 26s
[ fix #394 ] More uniform and consistent classification of modules CI #747: Commit 7e24278 pushed by jespercockx
January 24, 2025 13:21 5m 56s master
master
January 24, 2025 13:21 5m 56s
[ fix #394 ] More uniform and consistent classification of modules Nix CI #151: Pull request #395 opened by jespercockx
January 24, 2025 12:58 2m 10s jespercockx:issue394
jespercockx:issue394
January 24, 2025 12:58 2m 10s
[ fix #394 ] More uniform and consistent classification of modules CI #746: Pull request #395 opened by jespercockx
January 24, 2025 12:58 22m 16s jespercockx:issue394
jespercockx:issue394
January 24, 2025 12:58 22m 16s
[ fix #377 ] Add module Haskell.Data.Maybe with fromMaybe and more Docs #168: Commit 57f4365 pushed by jespercockx
January 24, 2025 12:57 33s master
master
January 24, 2025 12:57 33s
[ fix #377 ] Add module Haskell.Data.Maybe with fromMaybe and more CI #745: Commit 57f4365 pushed by jespercockx
January 24, 2025 12:57 3m 28s master
master
January 24, 2025 12:57 3m 28s
[ fix #377 ] Add module Haskell.Data.Maybe with fromMaybe and more Nix CI #150: Commit 57f4365 pushed by jespercockx
January 24, 2025 12:57 2m 13s master
master
January 24, 2025 12:57 2m 13s
[ fix #377 ] Add module Haskell.Data.Maybe with fromMaybe and more Nix CI #149: Pull request #393 synchronize by jespercockx
January 24, 2025 11:49 3m 13s jespercockx:issue377
jespercockx:issue377
January 24, 2025 11:49 3m 13s
[ fix #377 ] Add module Haskell.Data.Maybe with fromMaybe and more CI #744: Pull request #393 synchronize by jespercockx
January 24, 2025 11:49 21m 27s jespercockx:issue377
jespercockx:issue377
January 24, 2025 11:49 21m 27s
[ fix #377 ] Add module Haskell.Data.Maybe with fromMaybe and more Nix CI #148: Pull request #393 opened by jespercockx
January 24, 2025 11:47 2m 22s jespercockx:issue377
jespercockx:issue377
January 24, 2025 11:47 2m 22s