Skip to content

Actions: josefs/Gradualizer

Actions

Property based tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
proptests.yml
36 workflow runs
36 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Skip too complex guards Property based tests #478: Pull request #570 synchronize by erszcz
September 20, 2024 11:41 33s erszcz:skip-too-complex-guards
erszcz:skip-too-complex-guards
September 20, 2024 11:41 33s
Skip too complex guards Property based tests #477: Pull request #570 synchronize by erszcz
September 20, 2024 10:59 29s erszcz:skip-too-complex-guards
erszcz:skip-too-complex-guards
September 20, 2024 10:59 29s
Skip functions using maybe expr, don't crash on maybe ... else Property based tests #476: Pull request #571 opened by erszcz
September 17, 2024 14:02 30s erszcz:skip-maybe
erszcz:skip-maybe
September 17, 2024 14:02 30s
Skip too complex guards Property based tests #475: Pull request #570 synchronize by erszcz
September 17, 2024 13:31 34s erszcz:skip-too-complex-guards
erszcz:skip-too-complex-guards
September 17, 2024 13:31 34s
Skip too complex guards Property based tests #474: Pull request #570 synchronize by erszcz
September 17, 2024 12:42 23s erszcz:skip-too-complex-guards
erszcz:skip-too-complex-guards
September 17, 2024 12:42 23s
Skip too complex guards Property based tests #473: Pull request #570 opened by erszcz
September 17, 2024 12:39 27s erszcz:skip-too-complex-guards
erszcz:skip-too-complex-guards
September 17, 2024 12:39 27s
Use Common Test for testing when Gradualizer should pass, fail, and its known problems Property based tests #472: Pull request #567 synchronize by erszcz
June 5, 2024 14:00 27s erszcz:use-ct
erszcz:use-ct
June 5, 2024 14:00 27s
Use Common Test for testing when Gradualizer should pass, fail, and its known problems Property based tests #471: Pull request #567 synchronize by erszcz
June 4, 2024 22:32 28s erszcz:use-ct
erszcz:use-ct
June 4, 2024 22:32 28s
Use Common Test for testing when Gradualizer should pass, fail, and its known problems Property based tests #470: Pull request #567 synchronize by erszcz
June 4, 2024 22:24 28s erszcz:use-ct
erszcz:use-ct
June 4, 2024 22:24 28s
Use Common Test for testing when Gradualizer should pass, fail, and its known problems Property based tests #469: Pull request #567 synchronize by erszcz
June 4, 2024 22:16 35s erszcz:use-ct
erszcz:use-ct
June 4, 2024 22:16 35s
Use Common Test for testing when Gradualizer should pass, fail, and its known problems Property based tests #468: Pull request #567 opened by erszcz
June 2, 2024 21:11 27s erszcz:use-ct
erszcz:use-ct
June 2, 2024 21:11 27s
Define subtyping of unions with type difference Property based tests #467: 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 Property based tests #466: Pull request #566 opened by erszcz
May 31, 2024 08:26 29s erszcz:define-union-subtype-with-typediff
erszcz:define-union-subtype-with-typediff
May 31, 2024 08:26 29s
Merge pull request #564 from xxdavid/local_type_inference Property based tests #465: Commit 3bdca60 pushed by erszcz
May 30, 2024 22:45 42s master
master
May 30, 2024 22:45 42s
Use Local Type Inference approach to typecheck polymorphic calls Property based tests #464: Pull request #564 synchronize by xxdavid
May 26, 2024 12:27 37s xxdavid:local_type_inference
xxdavid:local_type_inference
May 26, 2024 12:27 37s
Use Local Type Inference approach to typecheck polymorphic calls Property based tests #463: Pull request #564 synchronize by xxdavid
May 3, 2024 16:25 30s xxdavid:local_type_inference
xxdavid:local_type_inference
May 3, 2024 16:25 30s
Use Local Type Inference approach to typecheck polymorphic calls Property based tests #462: Pull request #564 opened by xxdavid
May 3, 2024 16:14 37s xxdavid:local_type_inference
xxdavid:local_type_inference
May 3, 2024 16:14 37s
Add a few test cases (#557) Property based tests #461: Commit 050b074 pushed by zuiderkwast
April 18, 2024 11:51 30s master
master
April 18, 2024 11:51 30s
Support for rigid type variables (#560) Property based tests #460: Commit ac139bc pushed by zuiderkwast
April 18, 2024 11:49 31s master
master
April 18, 2024 11:49 31s
Support for rigid type variables Property based tests #459: Pull request #560 synchronize by xxdavid
April 18, 2024 07:33 40s xxdavid:rigid_type_variables
xxdavid:rigid_type_variables
April 18, 2024 07:33 40s
Support for rigid type variables Property based tests #458: Pull request #560 synchronize by xxdavid
January 23, 2024 12:01 33s xxdavid:rigid_type_variables
xxdavid:rigid_type_variables
January 23, 2024 12:01 33s
Support for rigid type variables Property based tests #457: Pull request #560 opened by xxdavid
January 22, 2024 17:48 33s xxdavid:rigid_type_variables
xxdavid:rigid_type_variables
January 22, 2024 17:48 33s
Add a few test cases Property based tests #456: Pull request #557 synchronize by xxdavid
October 4, 2023 12:39 43s xxdavid:add_test_cases
xxdavid:add_test_cases
October 4, 2023 12:39 43s
Add a few test cases Property based tests #455: Pull request #557 synchronize by xxdavid
September 26, 2023 10:20 33s xxdavid:add_test_cases
xxdavid:add_test_cases
September 26, 2023 10:20 33s
Add a few test cases Property based tests #454: Pull request #557 synchronize by xxdavid
September 26, 2023 09:01 34s xxdavid:add_test_cases
xxdavid:add_test_cases
September 26, 2023 09:01 34s