Skip to content

Actions: msp-strath/ask

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
27 workflow runs
27 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[ ci ] support more versions of GHC (#31) Haskell-CI #39: Commit f365c64 pushed by gallais
3m 2s main
main
3m 2s
[ ci ] disable tests Haskell-CI #38: Commit 31acf37 pushed by gallais
2m 58s ci
ci
2m 58s
[ ci ] relax hard errors Haskell-CI #37: Commit 860aeff pushed by gallais
3m 2s ci
ci
3m 2s
[ ci ] waste fewer resources Haskell-CI #36: Commit 6c651d2 pushed by gallais
2m 53s ci
ci
2m 53s
[ ci ] support more versions of GHC Haskell-CI #35: Pull request #31 opened by gallais
2m 41s ci
ci
2m 41s
[ ci ] support more versions of GHC Haskell-CI #34: Commit 6ef8b30 pushed by gallais
2m 54s ci
ci
2m 54s
[ fix ] subtyping should look rather harder when checking for infinit… Haskell-CI #33: Commit 15d6e44 pushed by pigworker
2m 43s main
main
2m 43s
Add installation instructions to the README Haskell-CI #32: Commit a5e6f55 pushed by bishboria
2m 46s update-readme
update-readme
2m 46s
dream of data Haskell-CI #31: Commit b9f28bb pushed by pigworker
2m 44s main
main
2m 44s
ask.el -> ask-mode.el and add file header Haskell-CI #30: Pull request #29 opened by yuanwang-wf
2m 46s yuanwang-wf:main
yuanwang-wf:main
2m 46s
props are not injective Haskell-CI #29: Commit 51ee4b6 pushed by pigworker
2m 52s main
main
2m 52s
[ emacs ] only replace standalone words with C-c C-r Haskell-CI #28: Commit 3cf318b pushed by fredrikNordvallForsberg
2m 52s main
main
2m 52s
Update haskell-ci.yml to ubuntu-latest Haskell-CI #27: Commit 0e6beb2 pushed by fredrikNordvallForsberg
3m 3s main
main
3m 3s
[ emacs ] C-c C-r to replace current word Haskell-CI #26: Commit 781a98e pushed by fredrikNordvallForsberg
9s main
main
9s
[ fix ] Proofs.ask example Haskell-CI #25: Commit 03a73b4 pushed by fredrikNordvallForsberg
2m 47s main
main
2m 47s
Merge pull request #28 from msp-strath/inversion Haskell-CI #24: Commit 59af040 pushed by pigworker
2m 53s main
main
2m 53s
[ progress ] lots of little things Haskell-CI #23: Pull request #28 opened by pigworker
2m 59s inversion
inversion
2m 59s
[ progress ] lots of little things Haskell-CI #22: Commit 3307694 pushed by pigworker
2m 48s inversion
inversion
2m 48s
[ emacs ] given at the end of a line is a keyword Haskell-CI #21: Commit 4c1394f pushed by pigworker
2m 54s inversion
inversion
2m 54s
[ emacs ] given at the end of a line is a keyword Haskell-CI #20: Commit 4c1394f pushed by fredrikNordvallForsberg
2m 56s main
main
2m 56s
add test, tested, under keywords Haskell-CI #19: Commit 32ccee9 pushed by Sean-Watters
2m 48s main
main
2m 48s
[ emacs ] given ... prove too Haskell-CI #18: Commit cb0f12b pushed by fredrikNordvallForsberg
2m 49s main
main
2m 49s
[ emacs ] more syntax highlighting Haskell-CI #17: Commit 9c418a8 pushed by fredrikNordvallForsberg
3m 1s main
main
3m 1s
[ CI ] fix CI properly (#27) Haskell-CI #16: Commit 959703a pushed by fredrikNordvallForsberg
2m 47s main
main
2m 47s
[ CI ] fix CI properly Haskell-CI #15: Pull request #27 opened by fredrikNordvallForsberg
2m 50s main
main
2m 50s