Skip to content

Actions: josefs/Gradualizer

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
174 workflow runs
174 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
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 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 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 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 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
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 Self check #275: Pull request #564 opened by xxdavid
May 3, 2024 16:14 29s xxdavid:local_type_inference
xxdavid:local_type_inference
May 3, 2024 16:14 29s
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
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) Build and test #534: Commit 050b074 pushed by zuiderkwast
April 18, 2024 11:51 40s master
master
April 18, 2024 11:51 40s
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
Add a few test cases (#557) Self check #274: Commit 050b074 pushed by zuiderkwast
April 18, 2024 11:51 22s master
master
April 18, 2024 11:51 22s
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 (#560) Self check #273: Commit ac139bc pushed by zuiderkwast
April 18, 2024 11:49 23s master
master
April 18, 2024 11:49 23s
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 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 Self check #272: Pull request #560 synchronize by xxdavid
April 18, 2024 07:33 34s xxdavid:rigid_type_variables
xxdavid:rigid_type_variables
April 18, 2024 07:33 34s
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 Self check #271: Pull request #560 synchronize by xxdavid
January 23, 2024 12:01 28s xxdavid:rigid_type_variables
xxdavid:rigid_type_variables
January 23, 2024 12:01 28s
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 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
Support for rigid type variables Self check #270: Pull request #560 opened by xxdavid
January 22, 2024 17:48 29s xxdavid:rigid_type_variables
xxdavid:rigid_type_variables
January 22, 2024 17:48 29s
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 Self check #269: Pull request #557 synchronize by xxdavid
October 4, 2023 12:39 31s xxdavid:add_test_cases
xxdavid:add_test_cases
October 4, 2023 12:39 31s