Skip to content

Actions: josefs/Gradualizer

Actions

Property based tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
proptests.yml
31 workflow runs
31 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Unify type_check_expr and type_check_expr_in Property based tests #487: Pull request #574 synchronize by erszcz
October 15, 2024 09:51 30s erszcz:unify-type-check-exprs
erszcz:unify-type-check-exprs
October 15, 2024 09:51 30s
Unify type_check_expr and type_check_expr_in Property based tests #486: Pull request #574 opened by erszcz
October 15, 2024 09:28 32s erszcz:unify-type-check-exprs
erszcz:unify-type-check-exprs
October 15, 2024 09:28 32s
Merge pull request #573 from erszcz/drop-infer-flag Property based tests #485: Commit 112646d pushed by erszcz
October 11, 2024 15:30 34s master
master
October 11, 2024 15:30 34s
Drop the --infer flag Property based tests #484: Pull request #573 synchronize by erszcz
October 11, 2024 15:27 34s erszcz:drop-infer-flag
erszcz:drop-infer-flag
October 11, 2024 15:27 34s
Drop the --infer flag Property based tests #483: Pull request #573 opened by erszcz
October 11, 2024 14:11 29s erszcz:drop-infer-flag
erszcz:drop-infer-flag
October 11, 2024 14:11 29s
Merge pull request #571 from erszcz/skip-maybe Property based tests #482: Commit fd564a4 pushed by erszcz
October 11, 2024 11:47 28s master
master
October 11, 2024 11:47 28s
Merge pull request #570 from erszcz/skip-too-complex-guards Property based tests #481: Commit c44e393 pushed by erszcz
October 11, 2024 11:47 33s master
master
October 11, 2024 11:47 33s
Skip functions using maybe expr, don't crash on maybe ... else Property based tests #480: Pull request #571 synchronize by erszcz
October 11, 2024 11:37 30s erszcz:skip-maybe
erszcz:skip-maybe
October 11, 2024 11:37 30s
Skip too complex guards Property based tests #479: Pull request #570 synchronize by erszcz
October 10, 2024 13:33 31s erszcz:skip-too-complex-guards
erszcz:skip-too-complex-guards
October 10, 2024 13:33 31s
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