Skip to content

Actions: solomon-b/lambda-calculus-hs

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
92 workflow runs
92 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: Update FeatureMuseum modules to new foundation. cabal:build #136: Commit 8cf14ab pushed by solomon-b
2m 23s main
main
2m 23s
refactor: Update FeatureMuseum modules to new foundation. nix:build #143: Commit 8cf14ab pushed by solomon-b
2m 42s main
main
2m 42s
refactor: Update FeatureMuseum modules to new foundation. cabal:build #135: Commit 72f109f pushed by solomon-b
3m 4s main
main
3m 4s
refactor: Update FeatureMuseum modules to new foundation. nix:build #142: Commit 72f109f pushed by solomon-b
2m 55s main
main
2m 55s
refactor: Update FeatureMuseum modules to new foundation. cabal:build #134: Commit 2444301 pushed by solomon-b
2m 37s main
main
2m 37s
refactor: Update FeatureMuseum modules to new foundation. nix:build #141: Commit 2444301 pushed by solomon-b
2m 59s main
main
2m 59s
Abstract machines nix:build #140: Pull request #22 synchronize by TOTBWF
Action required TOTBWF:krivine
TOTBWF:krivine
Action required
Abstract machines cabal:build #133: Pull request #22 synchronize by TOTBWF
Action required TOTBWF:krivine
TOTBWF:krivine
Action required
docs: Update README. cabal:build #132: Commit e3db8d4 pushed by solomon-b
2m 19s main
main
2m 19s
docs: Update README. nix:build #139: Commit e3db8d4 pushed by solomon-b
2m 34s main
main
2m 34s
feat: First Order Unification. cabal:build #131: Commit baf89f9 pushed by solomon-b
2m 14s main
main
2m 14s
feat: First Order Unification. nix:build #138: Commit baf89f9 pushed by solomon-b
2m 40s main
main
2m 40s
feat: First Order Unification. cabal:build #130: Commit 50b89ef pushed by solomon-b
2m 51s main
main
2m 51s
feat: First Order Unification. nix:build #137: Commit 50b89ef pushed by solomon-b
2m 37s main
main
2m 37s
refactor: Merge Story 1 00 and 00b. nix:build #136: Commit 5de33e0 pushed by solomon-b
2m 25s main
main
2m 25s
refactor: Merge Story 1 00 and 00b. cabal:build #129: Commit 5de33e0 pushed by solomon-b
2m 31s main
main
2m 31s
refactor: Re-organize modules into a tree. nix:build #135: Commit 4dcdf06 pushed by solomon-b
2m 31s main
main
2m 31s
refactor: Re-organize modules into a tree. cabal:build #128: Commit 4dcdf06 pushed by solomon-b
3m 12s main
main
3m 12s
feat: Remove non dependent func type from 11/12. nix:build #134: Commit 8fad5ab pushed by solomon-b
2m 35s main
main
2m 35s
feat: Remove non dependent func type from 11/12. cabal:build #127: Commit 8fad5ab pushed by solomon-b
2m 35s main
main
2m 35s
fix: Nominal Inductive Types. cabal:build #126: Commit 7f5150a pushed by solomon-b
2m 18s main
main
2m 18s
fix: Nominal Inductive Types. nix:build #133: Commit 7f5150a pushed by solomon-b
2m 31s main
main
2m 31s
fix: Nominal Inductive Types. nix:build #132: Commit 524bda4 pushed by solomon-b
2m 33s main
main
2m 33s
fix: Nominal Inductive Types. cabal:build #125: Commit 524bda4 pushed by solomon-b
2m 49s main
main
2m 49s
fix: Nominal Inductive Types. nix:build #131: Commit 79ef4b8 pushed by solomon-b
2m 35s main
main
2m 35s