Skip to content

Actions: solomon-b/lambda-calculus-hs

Actions

nix:build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
nix.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. nix:build #128: Commit 6e141c5 pushed by solomon-b
2m 15s main
main
2m 15s
chore: Updates readme. nix:build #127: Commit 29511dc pushed by solomon-b
2m 25s main
main
2m 25s
chore: Updates readme. nix:build #126: Commit 5e0e577 pushed by solomon-b
2m 22s main
main
2m 22s
Abstract machines nix:build #125: Pull request #22 opened by TOTBWF
Action required TOTBWF:krivine
TOTBWF:krivine
Action required
chore: Fix haddocks. nix:build #124: Commit 5f50d0f pushed by solomon-b
2m 26s main
main
2m 26s
chore: Updates readme. nix:build #123: Commit 24324c0 pushed by solomon-b
2m 11s main
main
2m 11s
chore: Updates readme. nix:build #122: Commit 8ed2a67 pushed by solomon-b
2m 0s main
main
2m 0s
chore: Updates readme. nix:build #121: Commit dd94e1e pushed by solomon-b
2m 9s main
main
2m 9s
chore: Update readme. nix:build #120: Commit f5001d5 pushed by solomon-b
2m 20s main
main
2m 20s
refactor: Factor out Utils module. nix:build #119: Commit 4ac817f pushed by solomon-b
1m 58s main
main
1m 58s
refactor: Factor out Utils module. nix:build #118: Commit 8c1ba05 pushed by solomon-b
2m 3s main
main
2m 3s
refactor: Re-org ADT code in 09b. nix:build #117: Commit 3e80944 pushed by solomon-b
2m 1s main
main
2m 1s
refactor: Re-org ADT code in 10. nix:build #116: Commit 46b2415 pushed by solomon-b
1m 59s main
main
1m 59s
feat: System F nix:build #115: Commit 0939134 pushed by solomon-b
1m 52s main
main
1m 52s
feat: System F nix:build #114: Commit 359baa0 pushed by solomon-b
1m 55s main
main
1m 55s
feat: System F nix:build #113: Commit 1038889 pushed by solomon-b
1m 50s main
main
1m 50s
feat: Improves haddocks. nix:build #112: Commit ae22a60 pushed by solomon-b
1m 49s main
main
1m 49s
feat: Improves haddocks. nix:build #111: Commit 82301b6 pushed by solomon-b
1m 56s main
main
1m 56s
feat: Improves haddocks. nix:build #110: Commit 3eb047f pushed by solomon-b
1m 54s main
main
1m 54s
feat: Improves haddocks. nix:build #109: Commit 6b53e58 pushed by solomon-b
1m 50s main
main
1m 50s
chore: Update readme. nix:build #108: Commit fe9788d pushed by solomon-b
1m 54s main
main
1m 54s
chore: Update readme. nix:build #107: Commit 873a6aa pushed by solomon-b
1m 50s main
main
1m 50s
fix: Nominal Inductive Types. nix:build #106: Commit 7706f9a pushed by solomon-b
1m 55s main
main
1m 55s
fix: Record subtyping. nix:build #105: Commit 2e6dd4a pushed by solomon-b
1m 51s main
main
1m 51s
chore: Fix CI. nix:build #104: Commit 9d8c7f2 pushed by solomon-b
1m 53s main
main
1m 53s