Skip to content

Actions: Ycyken/FSharpActivePatterns

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
49 workflow runs
49 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Disable ocamlformat in manytests #57 Build master #47: Commit 0199a75 pushed by Ycyken
58s master
master
58s
Comment on the PR Comment on the PR #40: completed by Ycyken
4s
4s
ref: formatting Build master #46: Commit 17b28db pushed by Ycyken
1m 16s master
master
1m 16s
Implement inference of polymorphic patterns in Match. Fix types pretty printer. Build PR (only formatting) #42: Pull request #24 opened by Ycyken
58s typecheck
typecheck
58s
Implement inference of polymorphic patterns in Match. Fix types pretty printer. Build PR #40: Pull request #24 opened by Ycyken
1m 0s typecheck
typecheck
1m 0s
ref: linter Build master #45: Commit 3f3964c pushed by Ycyken
1m 21s master
master
1m 21s
tests: promote tests Build master #44: Commit 762e6a1 pushed by Ycyken
1m 17s master
master
1m 17s
feat: tuple type pretty printer with '*' instead of ',' Build master #43: Commit 49efabd pushed by Ycyken
1m 20s master
master
1m 20s
Update manytests/do_not_type/099.ml Build master #42: Commit ac7efc9 pushed by Ycyken
58s master
master
58s
testing CI Build PR (only formatting) #41: Pull request #23 synchronize by p1onerka
1m 5s CI-fix
CI-fix
1m 5s
testing CI Build PR (only formatting) #40: Pull request #23 opened by p1onerka
58s CI-fix
CI-fix
58s
ref: linter Build master #41: Commit be6ac54 pushed by Ycyken
1m 20s master
master
1m 20s
fix: repl with file Build master #40: Commit 0c16e23 pushed by Ycyken
1m 22s master
master
1m 22s
Comment on the PR Comment on the PR #39: completed by Ycyken
3s
3s
Type inference, Constraints, function, change idents to patterns Build PR (only formatting) #39: Pull request #22 opened by Ycyken
59s typecheck
typecheck
59s
Type inference, Constraints, function, change idents to patterns Build PR #39: Pull request #22 opened by Ycyken
1m 1s typecheck
typecheck
1m 1s
ref: eta reduction Build master #39: Commit dfd1cd6 pushed by Ycyken
1m 24s master
master
1m 24s
ref: lint and fmt Build master #38: Commit 1d8c2bb pushed by Ycyken
1m 19s master
master
1m 19s
Comment on the PR Comment on the PR #38: completed by Ycyken
1m 30s
1m 30s
Comment on the PR Comment on the PR #37: completed by Ycyken
1m 34s
1m 34s
Implement Let, LetIn, Match inference, REPL now saves type environment and state for type variables. Build PR (only formatting) #38: Pull request #21 synchronize by Ycyken
1m 9s typecheck
typecheck
1m 9s
Implement Let, LetIn, Match inference, REPL now saves type environment and state for type variables. Build PR #38: Pull request #21 synchronize by Ycyken
2m 37s typecheck
typecheck
2m 37s
Implement Let, LetIn, Match inference, REPL now saves type environment and state for type variables. Build PR (only formatting) #37: Pull request #21 opened by Ycyken
1m 7s typecheck
typecheck
1m 7s
Implement Let, LetIn, Match inference, REPL now saves type environment and state for type variables. Build PR #37: Pull request #21 opened by Ycyken
2m 33s typecheck
typecheck
2m 33s