Skip to content

Actions: msp-strath/ask

Actions

Haskell-CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
haskell-ci.yml
19 workflow runs
19 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

add test, tested, under keywords Haskell-CI #19: Commit 32ccee9 pushed by Sean-Watters
January 28, 2025 11:44 2m 48s main
main
January 28, 2025 11:44 2m 48s
[ emacs ] given ... prove too Haskell-CI #18: Commit cb0f12b pushed by fredrikNordvallForsberg
January 23, 2025 18:43 2m 49s main
main
January 23, 2025 18:43 2m 49s
[ emacs ] more syntax highlighting Haskell-CI #17: Commit 9c418a8 pushed by fredrikNordvallForsberg
January 23, 2025 18:39 3m 1s main
main
January 23, 2025 18:39 3m 1s
[ CI ] fix CI properly (#27) Haskell-CI #16: Commit 959703a pushed by fredrikNordvallForsberg
December 4, 2024 17:15 2m 47s main
main
December 4, 2024 17:15 2m 47s
[ CI ] fix CI properly Haskell-CI #15: Pull request #27 opened by fredrikNordvallForsberg
December 4, 2024 17:15 2m 50s fredrikNordvallForsberg:main
fredrikNordvallForsberg:main
December 4, 2024 17:15 2m 50s
[ CI ] attempt to fix broken CI Haskell-CI #14: Commit 93f80f2 pushed by fredrikNordvallForsberg
December 4, 2024 16:37 2m 25s main
main
December 4, 2024 16:37 2m 25s
fix neutral radical application Haskell-CI #13: Commit d022093 pushed by pigworker
November 25, 2024 07:51 2m 23s main
main
November 25, 2024 07:51 2m 23s
[ fix ] rhs of define should not implicitly quantify out-of-scope stuff Haskell-CI #12: Commit 698d59e pushed by pigworker
November 7, 2024 16:00 2m 55s main
main
November 7, 2024 16:00 2m 55s
[ emacs ] highlighting for proven/defined Haskell-CI #11: Commit 4ea201d pushed by gallais
October 28, 2024 10:51 2m 55s main
main
October 28, 2024 10:51 2m 55s
emacs, cmdline arg, more aggressive test, more liberal given Haskell-CI #10: Commit 52c4933 pushed by pigworker
October 27, 2024 16:32 2m 58s main
main
October 27, 2024 16:32 2m 58s
[ fix ] subtle infinite loop induced by bad subtyping check Haskell-CI #9: Commit 112c468 pushed by pigworker
October 15, 2024 11:14 2m 47s main
main
October 15, 2024 11:14 2m 47s
[ fix ] nonexhaustive yikes Haskell-CI #8: Commit 09cb9cd pushed by pigworker
October 1, 2024 15:00 3m 13s main
main
October 1, 2024 15:00 3m 13s
[ fix ] filter out spaces Haskell-CI #7: Commit 20326a1 pushed by pigworker
October 1, 2024 13:02 2m 52s main
main
October 1, 2024 13:02 2m 52s
[ new ] grammars and parse derivations Haskell-CI #6: Commit 5b3f078 pushed by pigworker
September 26, 2024 19:20 2m 57s main
main
September 26, 2024 19:20 2m 57s
[ cabal ] for the ask project (#26) Haskell-CI #5: Commit 785c0ea pushed by gallais
September 19, 2024 10:10 3m 3s main
main
September 19, 2024 10:10 3m 3s
[ ci ] fix base constraints Haskell-CI #4: Commit f6f6c73 pushed by gallais
September 19, 2024 10:07 2m 44s cabalification
cabalification
September 19, 2024 10:07 2m 44s
[ ci ] fix matching syrup's Haskell-CI #3: Commit 9ccdb64 pushed by gallais
September 19, 2024 09:55 2m 53s cabalification
cabalification
September 19, 2024 09:55 2m 53s
[ cabal ] for the ask project Haskell-CI #2: Pull request #26 opened by gallais
September 19, 2024 09:46 2m 21s cabalification
cabalification
September 19, 2024 09:46 2m 21s
[ ci ] initialise build Haskell-CI #1: Commit 662ff77 pushed by gallais
September 19, 2024 09:46 2m 16s cabalification
cabalification
September 19, 2024 09:46 2m 16s