Skip to content

Actions: msp-strath/ask

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
13 workflow runs
13 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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