Skip to content

Actions: ascandone/kestrel-lang

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
844 workflow runs
844 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

improved fn pattern typecheck CI #819: Commit 7384ba7 pushed by ascandone
November 10, 2024 13:49 38s refactor/remove-ast-annotaions
refactor/remove-ast-annotaions
November 10, 2024 13:49 38s
fix test CI #818: Commit 5ffa953 pushed by ascandone
October 25, 2024 20:14 31s refactor/remove-ast-annotaions
refactor/remove-ast-annotaions
October 25, 2024 20:14 31s
improve pattern type check CI #817: Commit ecb3208 pushed by ascandone
October 24, 2024 23:21 46s refactor/remove-ast-annotaions
refactor/remove-ast-annotaions
October 24, 2024 23:21 46s
fix tests CI #816: Commit 22b78ac pushed by ascandone
October 20, 2024 12:02 47s refactor/remove-ast-annotaions
refactor/remove-ast-annotaions
October 20, 2024 12:02 47s
Update docs (#46) CI #815: Commit a57a1b3 pushed by ascandone
October 8, 2024 21:30 40s main
main
October 8, 2024 21:30 40s
fix CI #814: Commit 1fd01cd pushed by ascandone
October 8, 2024 21:29 29s update-docs
update-docs
October 8, 2024 21:29 29s
added traits description CI #813: Commit 24f46c7 pushed by ascandone
October 8, 2024 21:28 44s update-docs
update-docs
October 8, 2024 21:28 44s
WIP CI #812: Commit bea139e pushed by ascandone
October 8, 2024 21:10 33s refactor/remove-ast-annotaions
refactor/remove-ast-annotaions
October 8, 2024 21:10 33s
fix compilation issue CI #811: Commit 22e8881 pushed by ascandone
September 30, 2024 21:38 43s main
main
September 30, 2024 21:38 43s
improved p matching t check CI #810: Commit 8f4d068 pushed by ascandone
September 20, 2024 17:01 36s refactor/remove-ast-annotaions
refactor/remove-ast-annotaions
September 20, 2024 17:01 36s
better hints unification CI #809: Commit 9a91239 pushed by ascandone
September 16, 2024 00:00 32s refactor/remove-ast-annotaions
refactor/remove-ast-annotaions
September 16, 2024 00:00 32s
instantiated values (but few regression) CI #808: Commit 68d3b8c pushed by ascandone
September 15, 2024 23:02 37s refactor/remove-ast-annotaions
refactor/remove-ast-annotaions
September 15, 2024 23:02 37s
prevent generics shadowing CI #807: Commit 512ecd2 pushed by ascandone
September 15, 2024 22:25 29s refactor/remove-ast-annotaions
refactor/remove-ast-annotaions
September 15, 2024 22:25 29s
emit InvalidTypeArity CI #806: Commit 52086d2 pushed by ascandone
September 15, 2024 22:20 30s refactor/remove-ast-annotaions
refactor/remove-ast-annotaions
September 15, 2024 22:20 30s
moved TypesHydration to separate step CI #805: Commit 71454e8 pushed by ascandone
September 15, 2024 22:16 35s refactor/remove-ast-annotaions
refactor/remove-ast-annotaions
September 15, 2024 22:16 35s
handle constructor args CI #804: Commit 0224d2e pushed by ascandone
September 15, 2024 21:32 33s refactor/remove-ast-annotaions
refactor/remove-ast-annotaions
September 15, 2024 21:32 33s
forbid unbound types CI #803: Commit 0cab615 pushed by ascandone
September 15, 2024 21:08 30s refactor/remove-ast-annotaions
refactor/remove-ast-annotaions
September 15, 2024 21:08 30s
improved typeAstToType CI #802: Commit 849b7aa pushed by ascandone
September 15, 2024 20:44 31s refactor/remove-ast-annotaions
refactor/remove-ast-annotaions
September 15, 2024 20:44 31s
improved types resolution CI #801: Commit cceea4b pushed by ascandone
September 15, 2024 20:12 53s refactor/remove-ast-annotaions
refactor/remove-ast-annotaions
September 15, 2024 20:12 53s
added todo test CI #800: Commit 9111786 pushed by ascandone
September 15, 2024 19:03 31s refactor/remove-ast-annotaions
refactor/remove-ast-annotaions
September 15, 2024 19:03 31s
moved variables resolution in different class CI #799: Commit 1ea1e1f pushed by ascandone
September 15, 2024 18:59 39s refactor/remove-ast-annotaions
refactor/remove-ast-annotaions
September 15, 2024 18:59 39s
fix typo CI #798: Commit 9d2c367 pushed by ascandone
September 4, 2024 21:51 34s v0.0.27
v0.0.27
September 4, 2024 21:51 34s
v0.0.27 Publish release #25: Release v0.0.27 created by ascandone
September 4, 2024 21:51 27s
September 4, 2024 21:51 27s
fix typo CI #797: Commit 9d2c367 pushed by ascandone
September 4, 2024 21:44 39s main
main
September 4, 2024 21:44 39s
improved let# formatting CI #796: Commit f08576e pushed by ascandone
September 4, 2024 21:41 34s main
main
September 4, 2024 21:41 34s