Skip to content

Actions: josefs/Gradualizer

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
198 workflow runs
198 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
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 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 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 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 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 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 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 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 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 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 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 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 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
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
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 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 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 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 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
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
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
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
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