Skip to content

Actions: josefs/Gradualizer

Actions

Self check

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
self-check.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 Self check #300: Pull request #574 synchronize by erszcz
October 15, 2024 09:51 24s erszcz:unify-type-check-exprs
erszcz:unify-type-check-exprs
October 15, 2024 09:51 24s
Unify type_check_expr and type_check_expr_in Self check #299: Pull request #574 opened by erszcz
October 15, 2024 09:28 34s erszcz:unify-type-check-exprs
erszcz:unify-type-check-exprs
October 15, 2024 09:28 34s
Merge pull request #573 from erszcz/drop-infer-flag Self check #298: Commit 112646d pushed by erszcz
October 11, 2024 15:30 24s master
master
October 11, 2024 15:30 24s
Drop the --infer flag Self check #297: Pull request #573 synchronize by erszcz
October 11, 2024 15:27 26s erszcz:drop-infer-flag
erszcz:drop-infer-flag
October 11, 2024 15:27 26s
Drop the --infer flag Self check #296: Pull request #573 opened by erszcz
October 11, 2024 14:11 23s erszcz:drop-infer-flag
erszcz:drop-infer-flag
October 11, 2024 14:11 23s
Merge pull request #571 from erszcz/skip-maybe Self check #295: Commit fd564a4 pushed by erszcz
October 11, 2024 11:47 22s master
master
October 11, 2024 11:47 22s
Merge pull request #570 from erszcz/skip-too-complex-guards Self check #294: Commit c44e393 pushed by erszcz
October 11, 2024 11:47 27s master
master
October 11, 2024 11:47 27s
Skip functions using maybe expr, don't crash on maybe ... else Self check #293: Pull request #571 synchronize by erszcz
October 11, 2024 11:37 33s erszcz:skip-maybe
erszcz:skip-maybe
October 11, 2024 11:37 33s
Skip too complex guards Self check #292: Pull request #570 synchronize by erszcz
October 10, 2024 13:33 35s erszcz:skip-too-complex-guards
erszcz:skip-too-complex-guards
October 10, 2024 13:33 35s
Skip too complex guards Self check #291: Pull request #570 synchronize by erszcz
September 20, 2024 11:41 25s erszcz:skip-too-complex-guards
erszcz:skip-too-complex-guards
September 20, 2024 11:41 25s
Skip too complex guards Self check #290: Pull request #570 synchronize by erszcz
September 20, 2024 10:59 33s erszcz:skip-too-complex-guards
erszcz:skip-too-complex-guards
September 20, 2024 10:59 33s
Skip functions using maybe expr, don't crash on maybe ... else Self check #289: 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 Self check #288: Pull request #570 synchronize by erszcz
September 17, 2024 13:31 26s erszcz:skip-too-complex-guards
erszcz:skip-too-complex-guards
September 17, 2024 13:31 26s
Skip too complex guards Self check #287: Pull request #570 synchronize by erszcz
September 17, 2024 12:42 22s erszcz:skip-too-complex-guards
erszcz:skip-too-complex-guards
September 17, 2024 12:42 22s
Skip too complex guards Self check #286: Pull request #570 opened by erszcz
September 17, 2024 12:39 35s erszcz:skip-too-complex-guards
erszcz:skip-too-complex-guards
September 17, 2024 12:39 35s
Use Common Test for testing when Gradualizer should pass, fail, and its known problems Self check #285: Pull request #567 synchronize by erszcz
June 5, 2024 14:00 22s erszcz:use-ct
erszcz:use-ct
June 5, 2024 14:00 22s
Use Common Test for testing when Gradualizer should pass, fail, and its known problems Self check #284: Pull request #567 synchronize by erszcz
June 4, 2024 22:32 23s erszcz:use-ct
erszcz:use-ct
June 4, 2024 22:32 23s
Use Common Test for testing when Gradualizer should pass, fail, and its known problems Self check #283: Pull request #567 synchronize by erszcz
June 4, 2024 22:24 22s erszcz:use-ct
erszcz:use-ct
June 4, 2024 22:24 22s
Use Common Test for testing when Gradualizer should pass, fail, and its known problems Self check #282: Pull request #567 synchronize by erszcz
June 4, 2024 22:16 28s erszcz:use-ct
erszcz:use-ct
June 4, 2024 22:16 28s
Use Common Test for testing when Gradualizer should pass, fail, and its known problems Self check #281: Pull request #567 opened by erszcz
June 2, 2024 21:11 36s erszcz:use-ct
erszcz:use-ct
June 2, 2024 21:11 36s
Define subtyping of unions with type difference Self check #280: Pull request #566 synchronize by erszcz
June 2, 2024 21:07 30s erszcz:define-union-subtype-with-typediff
erszcz:define-union-subtype-with-typediff
June 2, 2024 21:07 30s
Define subtyping of unions with type difference Self check #279: Pull request #566 opened by erszcz
May 31, 2024 08:26 32s erszcz:define-union-subtype-with-typediff
erszcz:define-union-subtype-with-typediff
May 31, 2024 08:26 32s
Merge pull request #564 from xxdavid/local_type_inference Self check #278: Commit 3bdca60 pushed by erszcz
May 30, 2024 22:45 34s master
master
May 30, 2024 22:45 34s
Use Local Type Inference approach to typecheck polymorphic calls Self check #277: Pull request #564 synchronize by xxdavid
May 26, 2024 12:27 28s xxdavid:local_type_inference
xxdavid:local_type_inference
May 26, 2024 12:27 28s
Use Local Type Inference approach to typecheck polymorphic calls Self check #276: Pull request #564 synchronize by xxdavid
May 3, 2024 16:25 34s xxdavid:local_type_inference
xxdavid:local_type_inference
May 3, 2024 16:25 34s