Skip to content

Actions: Godalin/hoas-hs

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
26 workflow runs
26 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
update: nix-shell CI #26: Commit f208c3c pushed by Godalin
6m 56s main
main
6m 56s
started: AE&T CI #25: Commit 827db86 pushed by Godalin
3m 41s main
main
3m 41s
released: v4.0 CI #24: Commit a9af4a1 pushed by Godalin
5m 40s main
main
5m 40s
updated: cabal run CI #23: Commit cff7856 pushed by Godalin
3m 43s main
main
3m 43s
Merge branch 'focusing' CI #22: Commit b9416b0 pushed by Godalin
5m 9s main
main
5m 9s
updated: readme with nix CI #21: Commit 0a25cc7 pushed by Godalin
4m 28s main
main
4m 28s
added: nix-shell support CI #20: Commit e4d03b5 pushed by Godalin
3m 31s main
main
3m 31s
updated: label & goto CI #19: Commit 91b9a20 pushed by Godalin
3m 36s main
main
3m 36s
updated: label & goto CI #18: Commit 66103f1 pushed by Godalin
3m 39s main
main
3m 39s
updated: readme file CI #17: Commit 5d8c3df pushed by Godalin
4m 32s main
main
4m 32s
fixed: typo in readme file CI #16: Commit 0c2dacb pushed by Godalin
3m 24s main
main
3m 24s
updated: env in readme file CI #15: Commit 65878aa pushed by Godalin
3m 15s main
main
3m 15s
updated: rename of package CI #14: Commit 73df1d8 pushed by Godalin
3m 49s main
main
3m 49s
updated: readme file CI #13: Commit bab903b pushed by Godalin
3m 27s main
main
3m 27s
updated: readme file CI #12: Commit aba034d pushed by Godalin
3m 29s main
main
3m 29s
added: support for (co)data in Fun & higher order functions CI #11: Commit e99f11a pushed by Godalin
3m 21s main
main
3m 21s
added: support for (co)data CI #10: Commit 1701f32 pushed by Godalin
3m 29s main
main
3m 29s
updated: documents CI #9: Commit f00060f pushed by Godalin
3m 30s main
main
3m 30s
updated: definitions are declared with arities CI #8: Commit 7301652 pushed by Godalin
50s main
main
50s
updated: Fun definitions & reduction CI #7: Commit ac64244 pushed by Godalin
57s main
main
57s
updated: Fun definitions & reduction CI #6: Commit 28df915 pushed by Godalin
3m 24s main
main
3m 24s
updated: formatter & fib function CI #5: Commit 7ce9fca pushed by Godalin
3m 36s main
main
3m 36s
added: LMM top-level definition & fct function CI #4: Commit 54876a1 pushed by Godalin
3m 31s main
main
3m 31s
added: let binding & Fun higher order syntax representation CI #3: Commit f89ec40 pushed by Godalin
3m 31s main
main
3m 31s
updated: iterator CI #2: Commit c5d65d6 pushed by Godalin
3m 33s main
main
3m 33s