Skip to content

Actions: josefs/Gradualizer

Actions

Build and test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build-and-test.yml
43 workflow runs
43 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Unify type_check_expr and type_check_expr_in Build and test #560: Pull request #574 synchronize by erszcz
October 15, 2024 09:51 41s erszcz:unify-type-check-exprs
erszcz:unify-type-check-exprs
October 15, 2024 09:51 41s
Unify type_check_expr and type_check_expr_in Build and test #559: Pull request #574 opened by erszcz
October 15, 2024 09:28 43s erszcz:unify-type-check-exprs
erszcz:unify-type-check-exprs
October 15, 2024 09:28 43s
Merge pull request #573 from erszcz/drop-infer-flag Build and test #558: Commit 112646d pushed by erszcz
October 11, 2024 15:30 36s master
master
October 11, 2024 15:30 36s
Drop the --infer flag Build and test #557: Pull request #573 synchronize by erszcz
October 11, 2024 15:27 33s erszcz:drop-infer-flag
erszcz:drop-infer-flag
October 11, 2024 15:27 33s
Drop the --infer flag Build and test #556: Pull request #573 opened by erszcz
October 11, 2024 14:11 39s erszcz:drop-infer-flag
erszcz:drop-infer-flag
October 11, 2024 14:11 39s
Merge pull request #571 from erszcz/skip-maybe Build and test #555: Commit fd564a4 pushed by erszcz
October 11, 2024 11:47 37s master
master
October 11, 2024 11:47 37s
Merge pull request #570 from erszcz/skip-too-complex-guards Build and test #554: Commit c44e393 pushed by erszcz
October 11, 2024 11:47 39s master
master
October 11, 2024 11:47 39s
Skip functions using maybe expr, don't crash on maybe ... else Build and test #553: Pull request #571 synchronize by erszcz
October 11, 2024 11:37 42s erszcz:skip-maybe
erszcz:skip-maybe
October 11, 2024 11:37 42s
Skip too complex guards Build and test #552: Pull request #570 synchronize by erszcz
October 10, 2024 13:33 43s erszcz:skip-too-complex-guards
erszcz:skip-too-complex-guards
October 10, 2024 13:33 43s
Skip too complex guards Build and test #551: Pull request #570 synchronize by erszcz
September 20, 2024 11:41 37s erszcz:skip-too-complex-guards
erszcz:skip-too-complex-guards
September 20, 2024 11:41 37s
Skip too complex guards Build and test #550: Pull request #570 synchronize by erszcz
September 20, 2024 10:59 42s erszcz:skip-too-complex-guards
erszcz:skip-too-complex-guards
September 20, 2024 10:59 42s
Skip functions using maybe expr, don't crash on maybe ... else Build and test #549: Pull request #571 opened by erszcz
September 17, 2024 14:02 43s erszcz:skip-maybe
erszcz:skip-maybe
September 17, 2024 14:02 43s
Skip too complex guards Build and test #548: Pull request #570 synchronize by erszcz
September 17, 2024 13:31 35s erszcz:skip-too-complex-guards
erszcz:skip-too-complex-guards
September 17, 2024 13:31 35s
Skip too complex guards Build and test #547: Pull request #570 synchronize by erszcz
September 17, 2024 12:42 32s erszcz:skip-too-complex-guards
erszcz:skip-too-complex-guards
September 17, 2024 12:42 32s
Skip too complex guards Build and test #546: Pull request #570 opened by erszcz
September 17, 2024 12:39 46s erszcz:skip-too-complex-guards
erszcz:skip-too-complex-guards
September 17, 2024 12:39 46s
Use Common Test for testing when Gradualizer should pass, fail, and its known problems Build and test #545: Pull request #567 synchronize by erszcz
June 5, 2024 14:00 39s erszcz:use-ct
erszcz:use-ct
June 5, 2024 14:00 39s
Use Common Test for testing when Gradualizer should pass, fail, and its known problems Build and test #544: Pull request #567 synchronize by erszcz
June 4, 2024 22:32 41s erszcz:use-ct
erszcz:use-ct
June 4, 2024 22:32 41s
Use Common Test for testing when Gradualizer should pass, fail, and its known problems Build and test #543: Pull request #567 synchronize by erszcz
June 4, 2024 22:24 39s erszcz:use-ct
erszcz:use-ct
June 4, 2024 22:24 39s
Use Common Test for testing when Gradualizer should pass, fail, and its known problems Build and test #542: Pull request #567 synchronize by erszcz
June 4, 2024 22:16 42s erszcz:use-ct
erszcz:use-ct
June 4, 2024 22:16 42s
Use Common Test for testing when Gradualizer should pass, fail, and its known problems Build and test #541: Pull request #567 opened by erszcz
June 2, 2024 21:11 35s erszcz:use-ct
erszcz:use-ct
June 2, 2024 21:11 35s
Define subtyping of unions with type difference Build and test #540: Pull request #566 synchronize by erszcz
June 2, 2024 21:07 38s erszcz:define-union-subtype-with-typediff
erszcz:define-union-subtype-with-typediff
June 2, 2024 21:07 38s
Define subtyping of unions with type difference Build and test #539: Pull request #566 opened by erszcz
May 31, 2024 08:26 38s erszcz:define-union-subtype-with-typediff
erszcz:define-union-subtype-with-typediff
May 31, 2024 08:26 38s
Merge pull request #564 from xxdavid/local_type_inference Build and test #538: Commit 3bdca60 pushed by erszcz
May 30, 2024 22:45 47s master
master
May 30, 2024 22:45 47s
Use Local Type Inference approach to typecheck polymorphic calls Build and test #537: Pull request #564 synchronize by xxdavid
May 26, 2024 12:27 43s xxdavid:local_type_inference
xxdavid:local_type_inference
May 26, 2024 12:27 43s
Use Local Type Inference approach to typecheck polymorphic calls Build and test #536: Pull request #564 synchronize by xxdavid
May 3, 2024 16:25 41s xxdavid:local_type_inference
xxdavid:local_type_inference
May 3, 2024 16:25 41s