Skip to content

Actions: ascandone/kestrel-lang

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
25 workflow run results
25 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

improved lsp error location CI #25: Commit 19e05f1 pushed by ascandone
January 18, 2024 21:22 26s main
main
January 18, 2024 21:22 26s
implemented LSP in cli CI #24: Commit 6d49966 pushed by ascandone
January 18, 2024 20:52 33s main
main
January 18, 2024 20:52 33s
implemented LSP in cli CI #23: Commit 2ce22ff pushed by ascandone
January 18, 2024 00:27 37s main
main
January 18, 2024 00:27 37s
added cli typecheck command CI #22: Commit 3c1e779 pushed by ascandone
January 18, 2024 00:11 41s main
main
January 18, 2024 00:11 41s
added recursive let statements CI #21: Commit ef6e673 pushed by ascandone
January 17, 2024 17:12 1m 5s main
main
January 17, 2024 17:12 1m 5s
implemented let declaration generalization CI #20: Commit 23f824f pushed by ascandone
January 17, 2024 17:03 30s main
main
January 17, 2024 17:03 30s
typechecked let CI #19: Commit 67dd8d8 pushed by ascandone
January 17, 2024 16:46 28s main
main
January 17, 2024 16:46 28s
if typechecking CI #18: Commit 46e27ac pushed by ascandone
January 17, 2024 15:15 31s main
main
January 17, 2024 15:15 31s
added application and fn args typecheck CI #17: Commit 37012a8 pushed by ascandone
January 17, 2024 15:07 36s main
main
January 17, 2024 15:07 36s
typecheck fn return type and application return type CI #16: Commit dce8a23 pushed by ascandone
January 17, 2024 14:42 27s main
main
January 17, 2024 14:42 27s
added spec CI #15: Commit cd88e3d pushed by ascandone
January 17, 2024 14:25 33s main
main
January 17, 2024 14:25 33s
test unbound var error CI #14: Commit cb12a4e pushed by ascandone
January 17, 2024 14:15 31s main
main
January 17, 2024 14:15 31s
implemented base typechecker CI #13: Commit 38d079c pushed by ascandone
January 17, 2024 13:12 25s main
main
January 17, 2024 13:12 25s
added type pretty printer CI #12: Commit 157b37a pushed by ascandone
January 17, 2024 00:08 39s main
main
January 17, 2024 00:08 39s
added type pretty printer CI #11: Commit f8dd7fb pushed by ascandone
January 17, 2024 00:08 38s main
main
January 17, 2024 00:08 38s
handled fn type CI #10: Commit cff7750 pushed by ascandone
January 16, 2024 19:32 26s main
main
January 16, 2024 19:32 26s
partially implemented unify CI #9: Commit fb0eeb6 pushed by ascandone
January 16, 2024 19:13 32s main
main
January 16, 2024 19:13 32s
added test CI #8: Commit 2f08089 pushed by ascandone
January 14, 2024 22:37 34s main
main
January 14, 2024 22:37 34s
parsed if expr CI #7: Commit 7c98167 pushed by ascandone
January 14, 2024 22:36 30s main
main
January 14, 2024 22:36 30s
simplified args parsing CI #6: Commit d6721f1 pushed by ascandone
January 14, 2024 22:31 28s main
main
January 14, 2024 22:31 28s
parsed let expr CI #5: Commit c2a626d pushed by ascandone
January 14, 2024 22:16 30s main
main
January 14, 2024 22:16 30s
added test CI #4: Commit fdc5b59 pushed by ascandone
January 14, 2024 21:35 27s main
main
January 14, 2024 21:35 27s
edited ast CI #3: Commit 881dc85 pushed by ascandone
January 14, 2024 21:14 29s main
main
January 14, 2024 21:14 29s
parsed fn call CI #2: Commit 96fc7a8 pushed by ascandone
January 14, 2024 21:08 25s main
main
January 14, 2024 21:08 25s
added parens parse CI #1: Commit 2fe1623 pushed by ascandone
January 14, 2024 10:35 39s main
main
January 14, 2024 10:35 39s