Skip to content

Actions: naucke/agda2hs

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
87 workflow runs
87 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[ fix #119 ] Throw an error when an unknown name appears in generated… CI #45: Commit 62617a5 pushed by naucke
December 5, 2024 10:49 21m 16s master
master
December 5, 2024 10:49 21m 16s
[ fix #119 ] Throw an error when an unknown name appears in generated… Docs #8: Commit 62617a5 pushed by naucke
December 5, 2024 10:49 32s master
master
December 5, 2024 10:49 32s
[ fix #119 ] Throw an error when an unknown name appears in generated… Nix CI #34: Commit 62617a5 pushed by naucke
December 5, 2024 10:49 1m 41s master
master
December 5, 2024 10:49 1m 41s
Initial strict runtime check CI #44: Pull request #2 synchronize by naucke
November 19, 2024 15:41 21m 26s strict-runtime-check
strict-runtime-check
November 19, 2024 15:41 21m 26s
Initial strict runtime check Nix CI #33: Pull request #2 synchronize by naucke
November 19, 2024 15:41 1m 50s strict-runtime-check
strict-runtime-check
November 19, 2024 15:41 1m 50s
Initial strict runtime check CI #43: Pull request #2 synchronize by naucke
November 19, 2024 15:03 17m 5s strict-runtime-check
strict-runtime-check
November 19, 2024 15:03 17m 5s
Initial strict runtime check Nix CI #32: Pull request #2 synchronize by naucke
November 19, 2024 15:03 2m 9s strict-runtime-check
strict-runtime-check
November 19, 2024 15:03 2m 9s
Initial strict runtime check CI #42: Pull request #2 synchronize by naucke
November 19, 2024 12:38 17m 22s strict-runtime-check
strict-runtime-check
November 19, 2024 12:38 17m 22s
Initial strict runtime check Nix CI #31: Pull request #2 synchronize by naucke
November 19, 2024 12:38 1m 46s strict-runtime-check
strict-runtime-check
November 19, 2024 12:38 1m 46s
Initial strict runtime check CI #41: Pull request #2 synchronize by naucke
November 14, 2024 22:35 20m 7s strict-runtime-check
strict-runtime-check
November 14, 2024 22:35 20m 7s
Initial strict runtime check Nix CI #30: Pull request #2 synchronize by naucke
November 14, 2024 22:35 1m 56s strict-runtime-check
strict-runtime-check
November 14, 2024 22:35 1m 56s
Initial strict runtime check Nix CI #29: Pull request #2 synchronize by naucke
November 12, 2024 13:20 1m 55s strict-runtime-check
strict-runtime-check
November 12, 2024 13:20 1m 55s
Initial strict runtime check CI #40: Pull request #2 synchronize by naucke
November 12, 2024 13:20 5m 57s strict-runtime-check
strict-runtime-check
November 12, 2024 13:20 5m 57s
Initial strict runtime check Nix CI #28: Pull request #2 synchronize by naucke
November 11, 2024 17:41 1m 57s strict-runtime-check
strict-runtime-check
November 11, 2024 17:41 1m 57s
Initial strict runtime check CI #39: Pull request #2 synchronize by naucke
November 11, 2024 17:41 5m 55s strict-runtime-check
strict-runtime-check
November 11, 2024 17:41 5m 55s
Initial strict runtime check CI #38: Pull request #2 synchronize by naucke
November 11, 2024 12:20 5m 53s strict-runtime-check
strict-runtime-check
November 11, 2024 12:20 5m 53s
Initial strict runtime check Nix CI #27: Pull request #2 synchronize by naucke
November 11, 2024 12:20 1m 55s strict-runtime-check
strict-runtime-check
November 11, 2024 12:20 1m 55s
Initial strict runtime check Nix CI #26: Pull request #2 synchronize by naucke
November 10, 2024 23:32 1m 43s strict-runtime-check
strict-runtime-check
November 10, 2024 23:32 1m 43s
Initial strict runtime check CI #37: Pull request #2 synchronize by naucke
November 10, 2024 23:32 2m 1s strict-runtime-check
strict-runtime-check
November 10, 2024 23:32 2m 1s
Initial strict runtime check CI #36: Pull request #2 synchronize by naucke
November 10, 2024 19:18 5m 48s strict-runtime-check
strict-runtime-check
November 10, 2024 19:18 5m 48s
Initial strict runtime check Nix CI #25: Pull request #2 synchronize by naucke
November 10, 2024 19:18 1m 42s strict-runtime-check
strict-runtime-check
November 10, 2024 19:18 1m 42s
Initial strict runtime check CI #35: Pull request #2 synchronize by naucke
November 10, 2024 15:32 28m 45s strict-runtime-check
strict-runtime-check
November 10, 2024 15:32 28m 45s
Initial strict runtime check Nix CI #24: Pull request #2 synchronize by naucke
November 10, 2024 15:32 1m 42s strict-runtime-check
strict-runtime-check
November 10, 2024 15:32 1m 42s
Add test case for #351 (crash on parse failure for deriving clause) CI #34: Commit f636b3d pushed by naucke
September 23, 2024 19:38 28m 58s master
master
September 23, 2024 19:38 28m 58s
Add test case for #351 (crash on parse failure for deriving clause) Nix CI #23: Commit f636b3d pushed by naucke
September 23, 2024 19:38 1m 42s master
master
September 23, 2024 19:38 1m 42s