Skip to content

Actions: josefs/Gradualizer

Actions

Build and test

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Use Local Type Inference approach to typecheck polymorphic calls Build and test #535: Pull request #564 opened by xxdavid
May 3, 2024 16:14 38s xxdavid:local_type_inference
xxdavid:local_type_inference
May 3, 2024 16:14 38s
Add a few test cases (#557) Build and test #534: Commit 050b074 pushed by zuiderkwast
April 18, 2024 11:51 40s master
master
April 18, 2024 11:51 40s
Support for rigid type variables (#560) Build and test #533: Commit ac139bc pushed by zuiderkwast
April 18, 2024 11:49 36s master
master
April 18, 2024 11:49 36s
Support for rigid type variables Build and test #532: Pull request #560 synchronize by xxdavid
April 18, 2024 07:33 43s xxdavid:rigid_type_variables
xxdavid:rigid_type_variables
April 18, 2024 07:33 43s
Support for rigid type variables Build and test #531: Pull request #560 synchronize by xxdavid
January 23, 2024 12:01 36s xxdavid:rigid_type_variables
xxdavid:rigid_type_variables
January 23, 2024 12:01 36s
Support for rigid type variables Build and test #530: Pull request #560 opened by xxdavid
January 22, 2024 17:48 37s xxdavid:rigid_type_variables
xxdavid:rigid_type_variables
January 22, 2024 17:48 37s
Add a few test cases Build and test #529: Pull request #557 synchronize by xxdavid
October 4, 2023 12:39 49s xxdavid:add_test_cases
xxdavid:add_test_cases
October 4, 2023 12:39 49s
Add a few test cases Build and test #528: Pull request #557 synchronize by xxdavid
September 26, 2023 10:20 39s xxdavid:add_test_cases
xxdavid:add_test_cases
September 26, 2023 10:20 39s
Add a few test cases Build and test #527: Pull request #557 synchronize by xxdavid
September 26, 2023 09:01 53s xxdavid:add_test_cases
xxdavid:add_test_cases
September 26, 2023 09:01 53s