Skip to content

Actions: naucke/agda2hs

Actions

Nix CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
nix-ci.yml
34 workflow runs
34 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… 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 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 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 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 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 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 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 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 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) Nix CI #23: Commit f636b3d pushed by naucke
September 23, 2024 19:38 1m 42s master
master
September 23, 2024 19:38 1m 42s
Initial strict runtime check Nix CI #22: Pull request #2 synchronize by naucke
September 23, 2024 19:38 1m 43s strict-runtime-check
strict-runtime-check
September 23, 2024 19:38 1m 43s
Initial strict runtime check Nix CI #21: Pull request #2 synchronize by naucke
September 11, 2024 12:15 1m 42s strict-runtime-check
strict-runtime-check
September 11, 2024 12:15 1m 42s
New (simpler but more robust) implementation of canonicity check Nix CI #20: Commit 03c9aae pushed by naucke
September 11, 2024 12:12 1m 44s master
master
September 11, 2024 12:12 1m 44s
Initial strict runtime check Nix CI #19: Pull request #2 synchronize by naucke
September 11, 2024 12:04 1m 45s strict-runtime-check
strict-runtime-check
September 11, 2024 12:04 1m 45s
Initial strict runtime check Nix CI #18: Pull request #2 synchronize by naucke
June 5, 2024 15:07 1m 47s strict-runtime-check
strict-runtime-check
June 5, 2024 15:07 1m 47s
Initial strict runtime check Nix CI #17: Pull request #2 synchronize by naucke
June 5, 2024 13:23 1m 47s strict-runtime-check
strict-runtime-check
June 5, 2024 13:23 1m 47s
Initial strict runtime check Nix CI #16: Pull request #2 synchronize by naucke
May 24, 2024 14:19 1m 42s strict-runtime-check
strict-runtime-check
May 24, 2024 14:19 1m 42s
Initial strict runtime check Nix CI #15: Pull request #2 synchronize by naucke
May 24, 2024 14:07 1m 45s strict-runtime-check
strict-runtime-check
May 24, 2024 14:07 1m 45s
Initial strict runtime check Nix CI #14: Pull request #2 synchronize by naucke
May 23, 2024 17:42 1m 45s strict-runtime-check
strict-runtime-check
May 23, 2024 17:42 1m 45s
Update test make dependencies Nix CI #13: Commit cb60e04 pushed by naucke
May 23, 2024 17:30 1m 49s master
master
May 23, 2024 17:30 1m 49s
Initial strict runtime check Nix CI #12: Pull request #2 synchronize by naucke
May 21, 2024 17:16 1m 59s strict-runtime-check
strict-runtime-check
May 21, 2024 17:16 1m 59s
Initial strict runtime check Nix CI #11: Pull request #2 synchronize by naucke
May 19, 2024 15:40 1m 50s strict-runtime-check
strict-runtime-check
May 19, 2024 15:40 1m 50s
Initial strict runtime check Nix CI #10: Pull request #2 synchronize by naucke
May 15, 2024 16:22 1m 45s strict-runtime-check
strict-runtime-check
May 15, 2024 16:22 1m 45s