Skip to content

Actions: msp-strath/ask

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
16 workflow runs
16 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[ CI ] fix CI properly (#27)
Haskell-CI #16: Commit 959703a pushed by fredrikNordvallForsberg
December 4, 2024 17:15 2m 47s 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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
September 19, 2024 09:46 2m 16s