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

Add test case for #351 (crash on parse failure for deriving clause) Docs #7: Commit f636b3d pushed by naucke
September 23, 2024 19:38 28s master
master
September 23, 2024 19:38 28s
Initial strict runtime check CI #33: Pull request #2 synchronize by naucke
September 23, 2024 19:38 29m 54s strict-runtime-check
strict-runtime-check
September 23, 2024 19:38 29m 54s
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
Initial strict runtime check CI #32: Pull request #2 synchronize by naucke
September 11, 2024 12:15 26m 31s strict-runtime-check
strict-runtime-check
September 11, 2024 12:15 26m 31s
New (simpler but more robust) implementation of canonicity check Docs #6: Commit 03c9aae pushed by naucke
September 11, 2024 12:12 32s master
master
September 11, 2024 12:12 32s
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
New (simpler but more robust) implementation of canonicity check CI #31: Commit 03c9aae pushed by naucke
September 11, 2024 12:12 29m 21s master
master
September 11, 2024 12:12 29m 21s
Initial strict runtime check CI #30: Pull request #2 synchronize by naucke
September 11, 2024 12:04 30m 25s strict-runtime-check
strict-runtime-check
September 11, 2024 12:04 30m 25s
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 CI #29: Pull request #2 synchronize by naucke
June 5, 2024 15:07 4m 14s strict-runtime-check
strict-runtime-check
June 5, 2024 15:07 4m 14s
Initial strict runtime check CI #28: Pull request #2 synchronize by naucke
June 5, 2024 13:23 27m 46s strict-runtime-check
strict-runtime-check
June 5, 2024 13:23 27m 46s
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 CI #27: Pull request #2 synchronize by naucke
May 24, 2024 14:19 15m 31s strict-runtime-check
strict-runtime-check
May 24, 2024 14:19 15m 31s
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 CI #26: Pull request #2 synchronize by naucke
May 24, 2024 14:07 2m 35s strict-runtime-check
strict-runtime-check
May 24, 2024 14:07 2m 35s
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
Initial strict runtime check CI #25: Pull request #2 synchronize by naucke
May 23, 2024 17:42 5m 13s strict-runtime-check
strict-runtime-check
May 23, 2024 17:42 5m 13s
Update test make dependencies CI #24: Commit cb60e04 pushed by naucke
May 23, 2024 17:30 27m 38s master
master
May 23, 2024 17:30 27m 38s
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
Update test make dependencies Docs #5: Commit cb60e04 pushed by naucke
May 23, 2024 17:30 33s master
master
May 23, 2024 17:30 33s
Initial strict runtime check CI #23: Pull request #2 synchronize by naucke
May 21, 2024 17:16 21m 53s strict-runtime-check
strict-runtime-check
May 21, 2024 17:16 21m 53s
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