Skip to content

Actions: steve-anunknown/haal

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
25 workflow runs
25 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Bump haal to 0.5.0.0 and haal-models to 0.1.1.0 CI #52: Commit 43f3593 pushed by steve-anunknown
15m 34s main
main
15m 34s
update README CI #51: Commit a65203b pushed by steve-anunknown
3m 18s main
main
3m 18s
only tested with haal >= 0.4.1.0 CI #50: Commit a048cec pushed by steve-anunknown
15m 55s main
main
15m 55s
dependency bounds CI #49: Commit f718f65 pushed by steve-anunknown
2m 55s main
main
2m 55s
Revert "add bounds" CI #48: Commit 365c30e pushed by steve-anunknown
2m 46s main
main
2m 46s
add bounds CI #47: Commit 85db084 pushed by steve-anunknown
3m 8s main
main
3m 8s
liquid haskell requires an smt solver, ideally z3 CI #46: Commit 777053d pushed by steve-anunknown
15m 23s main
main
15m 23s
add workflow for building with verification CI #45: Commit a8169a1 pushed by steve-anunknown
14m 20s main
main
14m 20s
bump haal.cabal CI #44: Commit 0d39af4 pushed by steve-anunknown
2m 43s main
main
2m 43s
bump version to 0.3.0.0 and update changelog CI #43: Commit 006e067 pushed by steve-anunknown
3m 16s main
main
3m 16s
fix type error CI #42: Commit 2f57a6c pushed by steve-anunknown
3m 26s main
main
3m 26s
rewrite lstar and move error call to top caller so that it does not h… CI #41: Commit 4dfc823 pushed by steve-anunknown
6m 50s main
main
6m 50s
first changelog CI #40: Commit 2d4ba4d pushed by steve-anunknown
2m 41s main
main
2m 41s
added some bounds CI #39: Commit 0d26c39 pushed by steve-anunknown
3m 1s main
main
3m 1s
remove unused package CI #38: Commit 1f770cc pushed by steve-anunknown
2m 45s main
main
2m 45s
i can learn my website in just a gazillion (7) minutes CI #37: Commit 323a6af pushed by steve-anunknown
3m 13s main
main
3m 13s
fix the type of some constructors and simplify others CI #36: Commit 48e9ef2 pushed by steve-anunknown
3m 6s main
main
3m 6s
Syntax CI #35: Commit 0c130e7 pushed by steve-anunknown
3m 6s main
main
3m 6s
Clarify systems under learning in README CI #34: Commit 17e8616 pushed by steve-anunknown
3m 13s main
main
3m 13s
added some comments and moved files CI #33: Commit a890748 pushed by steve-anunknown
3m 7s main
main
3m 7s
IO WORKS! CI #32: Commit 10befc8 pushed by steve-anunknown
2m 59s main
main
2m 59s
comments CI #31: Commit e773ca0 pushed by steve-anunknown
6m 13s main
main
6m 13s
update readme CI #30: Commit a987f2f pushed by steve-anunknown
2m 55s main
main
2m 55s
organized examples. now they can be run using 'stack run div' or 'sta… CI #29: Commit ac73a44 pushed by steve-anunknown
3m 13s main
main
3m 13s
fix type signature CI #28: Commit 2970d5a pushed by steve-anunknown
6m 13s main
main
6m 13s