Skip to content

Actions: solomon-b/lambda-calculus-hs

Actions

cabal:build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
cabal.yml
32 workflow runs
32 workflow runs

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
chore: Updates readme. cabal:build #121: Commit 6e141c5 pushed by solomon-b
2m 16s main
main
2m 16s
chore: Updates readme. cabal:build #120: Commit 29511dc pushed by solomon-b
2m 16s main
main
2m 16s
chore: Updates readme. cabal:build #119: Commit 5e0e577 pushed by solomon-b
3m 15s main
main
3m 15s
Abstract machines cabal:build #118: Pull request #22 opened by TOTBWF
Action required TOTBWF:krivine
TOTBWF:krivine
Action required
chore: Fix haddocks. cabal:build #117: Commit 5f50d0f pushed by solomon-b
2m 51s main
main
2m 51s
chore: Updates readme. cabal:build #116: Commit 24324c0 pushed by solomon-b
2m 19s main
main
2m 19s
chore: Updates readme. cabal:build #115: Commit 8ed2a67 pushed by solomon-b
2m 17s main
main
2m 17s
chore: Updates readme. cabal:build #114: Commit dd94e1e pushed by solomon-b
2m 40s main
main
2m 40s
chore: Update readme. cabal:build #113: Commit f5001d5 pushed by solomon-b
5m 29s main
main
5m 29s
refactor: Factor out Utils module. cabal:build #112: Commit 4ac817f pushed by solomon-b
2m 32s main
main
2m 32s
refactor: Factor out Utils module. cabal:build #111: Commit 8c1ba05 pushed by solomon-b
2m 38s main
main
2m 38s
refactor: Re-org ADT code in 09b. cabal:build #110: Commit 3e80944 pushed by solomon-b
2m 18s main
main
2m 18s
refactor: Re-org ADT code in 10. cabal:build #109: Commit 46b2415 pushed by solomon-b
2m 29s main
main
2m 29s
feat: System F cabal:build #108: Commit 0939134 pushed by solomon-b
2m 19s main
main
2m 19s
feat: System F cabal:build #107: Commit 359baa0 pushed by solomon-b
2m 14s main
main
2m 14s
feat: System F cabal:build #106: Commit 1038889 pushed by solomon-b
2m 37s main
main
2m 37s
feat: Improves haddocks. cabal:build #105: Commit ae22a60 pushed by solomon-b
2m 39s main
main
2m 39s
feat: Improves haddocks. cabal:build #104: Commit 82301b6 pushed by solomon-b
2m 21s main
main
2m 21s
feat: Improves haddocks. cabal:build #103: Commit 3eb047f pushed by solomon-b
1m 51s main
main
1m 51s
feat: Improves haddocks. cabal:build #102: Commit 6b53e58 pushed by solomon-b
2m 35s main
main
2m 35s
chore: Update readme. cabal:build #101: Commit fe9788d pushed by solomon-b
2m 20s main
main
2m 20s
chore: Update readme. cabal:build #100: Commit 873a6aa pushed by solomon-b
2m 25s main
main
2m 25s
fix: Nominal Inductive Types. cabal:build #99: Commit 7706f9a pushed by solomon-b
2m 13s main
main
2m 13s
fix: Record subtyping. cabal:build #98: Commit 2e6dd4a pushed by solomon-b
2m 1s main
main
2m 1s
chore: Fix CI. cabal:build #97: Commit 9d8c7f2 pushed by solomon-b
6m 45s main
main
6m 45s