Skip to content

Actions: osa1/h10

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
121 workflow runs
121 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix and tweak type printers CI #46: Commit a181f35 pushed by osa1
January 14, 2024 16:19 1m 17s main
main
January 14, 2024 16:19 1m 17s
Tweak class kind prints CI #45: Commit 5bcfc21 pushed by osa1
January 14, 2024 12:06 57s main
main
January 14, 2024 12:06 57s
Tweak class kind prints CI #44: Commit 0d124ef pushed by osa1
January 14, 2024 11:59 1m 1s main
main
January 14, 2024 11:59 1m 1s
Unify types and kinds CI #43: Commit 2509175 pushed by osa1
January 14, 2024 11:38 1m 1s main
main
January 14, 2024 11:38 1m 1s
Adjust displays CI #42: Commit 613f4fd pushed by osa1
January 14, 2024 11:32 1m 7s unify_type_kind
unify_type_kind
January 14, 2024 11:32 1m 7s
More fixups CI #41: Commit 14eb74b pushed by osa1
January 14, 2024 11:27 1m 4s unify_type_kind
unify_type_kind
January 14, 2024 11:27 1m 4s
Fix normalization CI #40: Commit cda5c9b pushed by osa1
January 14, 2024 11:21 1m 7s unify_type_kind
unify_type_kind
January 14, 2024 11:21 1m 7s
Update CI #39: Commit eb6cf5e pushed by osa1
January 14, 2024 11:15 1m 9s unify_type_kind
unify_type_kind
January 14, 2024 11:15 1m 9s
Finish dep analysis for kind inference, suppress a lint CI #38: Commit cc9dfd9 pushed by osa1
January 9, 2024 20:41 1m 10s main
main
January 9, 2024 20:41 1m 10s
Start implementing dependency analysis for kind inference CI #37: Commit b037d16 pushed by osa1
January 7, 2024 14:47 1m 17s main
main
January 7, 2024 14:47 1m 17s
Implement parsing and renaming kind sigs with binder tys, fix some lints CI #36: Commit 473150c pushed by osa1
January 7, 2024 12:20 1m 12s main
main
January 7, 2024 12:20 1m 12s
Add a forall renaming test CI #35: Commit 35a011a pushed by osa1
January 7, 2024 09:39 1m 16s main
main
January 7, 2024 09:39 1m 16s
Update syntax for kind signatures CI #34: Commit e3f929a pushed by osa1
January 7, 2024 09:20 1m 22s main
main
January 7, 2024 09:20 1m 22s
Implement kind signature renaming CI #33: Commit da864a1 pushed by osa1
January 3, 2024 18:39 1m 17s main
main
January 3, 2024 18:39 1m 17s
ci: copy Prelude.hs before deploying CI #32: Commit cb72f78 pushed by osa1
January 2, 2024 17:16 1m 11s main
main
January 2, 2024 17:16 1m 11s
CI: give the site update workflow write permission CI #31: Commit aeb720d pushed by osa1
January 2, 2024 17:03 1m 17s main
main
January 2, 2024 17:03 1m 17s
CI: add a workflow to update the site CI #30: Commit a266754 pushed by osa1
January 2, 2024 16:59 1m 18s main
main
January 2, 2024 16:59 1m 18s
Add a workflow to update the site CI #29: Commit 8a96a42 pushed by osa1
January 2, 2024 16:58 1m 16s main
main
January 2, 2024 16:58 1m 16s
Add a docs/ symlink to site/ CI #28: Commit 5777144 pushed by osa1
January 2, 2024 16:21 1m 20s site
site
January 2, 2024 16:21 1m 20s
Commit .wasm file CI #27: Commit f528356 pushed by osa1
January 2, 2024 16:14 1m 13s site
site
January 2, 2024 16:14 1m 13s
Update site build script CI #26: Commit 40706fc pushed by osa1
January 2, 2024 16:13 1m 16s main
main
January 2, 2024 16:13 1m 16s
Implement explicit forall parsing CI #25: Commit b5cb058 pushed by osa1
January 1, 2024 19:49 1m 13s main
main
January 1, 2024 19:49 1m 13s
Implement standalone kind signature parsing CI #24: Commit 9d20407 pushed by osa1
January 1, 2024 11:54 1m 11s main
main
January 1, 2024 11:54 1m 11s
Add another kind inference test, clarify the problem with not doing d… CI #23: Commit a66fda6 pushed by osa1
December 30, 2023 08:59 1m 11s main
main
December 30, 2023 08:59 1m 11s
Start adding kind inference tests CI #22: Commit a149808 pushed by osa1
December 29, 2023 19:37 1m 12s main
main
December 29, 2023 19:37 1m 12s