Skip to content

Actions: solomon-b/lambda-calculus-hs

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
46 workflow runs
46 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
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. 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: 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. nix:build #117: Commit 3e80944 pushed by solomon-b
2m 1s main
main
2m 1s
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. nix:build #116: Commit 46b2415 pushed by solomon-b
1m 59s main
main
1m 59s
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 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 cabal:build #107: Commit 359baa0 pushed by solomon-b
2m 14s main
main
2m 14s
feat: System F nix:build #113: Commit 1038889 pushed by solomon-b
1m 50s main
main
1m 50s
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. nix:build #112: Commit ae22a60 pushed by solomon-b
1m 49s main
main
1m 49s
feat: Improves haddocks. cabal:build #104: Commit 82301b6 pushed by solomon-b
2m 21s main
main
2m 21s
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. 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
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. cabal:build #101: Commit fe9788d pushed by solomon-b
2m 20s main
main
2m 20s
chore: Update readme. nix:build #107: Commit 873a6aa pushed by solomon-b
1m 50s main
main
1m 50s