Skip to content

Actions: aripiprazole/sol

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
89 workflow runs
89 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix(sol-driver): reformulate error system entirely Continuous Integration #64: Commit 708142e pushed by aripiprazole
May 28, 2024 14:09 52s main
main
May 28, 2024 14:09 52s
feat(sol-cli): use miette instead of ariadne Continuous Integration #63: Commit 38e7357 pushed by aripiprazole
May 28, 2024 04:43 58s main
main
May 28, 2024 04:43 58s
feat(sol-diagnostic): use miette Continuous Integration #62: Commit c7066cd pushed by aripiprazole
May 28, 2024 04:31 54s main
main
May 28, 2024 04:31 54s
feat(sol-typer): use old typer to implement simple functions to creat… Continuous Integration #61: Commit 6406efc pushed by aripiprazole
May 20, 2024 01:50 1m 4s main
main
May 20, 2024 01:50 1m 4s
feat(sol-thir-lowering): infer hole Continuous Integration #60: Commit 3fd30f3 pushed by aripiprazole
May 20, 2024 01:18 1m 17s main
main
May 20, 2024 01:18 1m 17s
feat(sol-thir-lowering): infer ann Continuous Integration #59: Commit e49a0a6 pushed by aripiprazole
May 20, 2024 01:13 58s main
main
May 20, 2024 01:13 58s
feat(sol-thir-lowering): create_from_type function Continuous Integration #58: Commit 30593e8 pushed by aripiprazole
May 20, 2024 01:07 1m 10s main
main
May 20, 2024 01:07 1m 10s
feat(sol-hir): remove old code Continuous Integration #57: Commit a7cf176 pushed by aripiprazole
May 20, 2024 00:47 55s main
main
May 20, 2024 00:47 55s
feat(sol-hir): remove the barrier between types and expressions Continuous Integration #56: Commit e84345c pushed by aripiprazole
May 20, 2024 00:34 1m 32s main
main
May 20, 2024 00:34 1m 32s
feat(sol-thir-lowering): finish check checks Continuous Integration #55: Commit e98e898 pushed by aripiprazole
May 13, 2024 19:34 50s main
main
May 13, 2024 19:34 50s
feat(sol-thir-lowering): finish check checks Continuous Integration #54: Commit 4c14789 pushed by aripiprazole
May 13, 2024 19:32 54s main
main
May 13, 2024 19:32 54s
feat(sol-thir-lowering): start infer elaboration Continuous Integration #53: Commit 927f21a pushed by aripiprazole
May 13, 2024 19:15 57s main
main
May 13, 2024 19:15 57s
feat(sol-thir-lowering): start infer elaboration Continuous Integration #52: Commit 407e1b4 pushed by aripiprazole
May 13, 2024 19:15 50s main
main
May 13, 2024 19:15 50s
feat(sol-thir-lowering): start infer elaboration Continuous Integration #51: Commit de01be1 pushed by aripiprazole
May 13, 2024 19:15 1m 7s main
main
May 13, 2024 19:15 1m 7s
feat(sol-thir-lowering): add implicit_fun_eta case Continuous Integration #50: Commit 0413c1c pushed by aripiprazole
May 13, 2024 18:58 52s main
main
May 13, 2024 18:58 52s
feat(sol-driver): improve tests Continuous Integration #49: Commit cd4fa69 pushed by aripiprazole
May 13, 2024 18:01 55s main
main
May 13, 2024 18:01 55s
feat(sol-thir-lowering): improve stubs Continuous Integration #48: Commit c4df33e pushed by aripiprazole
May 12, 2024 16:26 54s main
main
May 12, 2024 16:26 54s
feat(sol-thir-lowering): create stubs for infer and check Continuous Integration #47: Commit 56fc529 pushed by aripiprazole
May 12, 2024 16:15 53s main
main
May 12, 2024 16:15 53s
feat(sol-driver): reference functions Continuous Integration #46: Commit bdd561c pushed by aripiprazole
May 12, 2024 15:35 50s main
main
May 12, 2024 15:35 50s
fix(sol-thir-lowering): start thir_eval Continuous Integration #45: Commit 6a9ca39 pushed by aripiprazole
May 12, 2024 15:32 52s main
main
May 12, 2024 15:32 52s
fix(sol-thir): add normalize function Continuous Integration #44: Commit 6943bdf pushed by aripiprazole
May 12, 2024 14:59 51s main
main
May 12, 2024 14:59 51s
fix(sol-thir-lowering): finish quoting Continuous Integration #43: Commit 47b09bc pushed by aripiprazole
May 12, 2024 14:52 1m 1s main
main
May 12, 2024 14:52 1m 1s
fix(sol-driver): fix forall types Continuous Integration #42: Commit aacc291 pushed by aripiprazole
May 12, 2024 14:00 56s main
main
May 12, 2024 14:00 56s
fix(sol-ide): fix sol-ide test Continuous Integration #41: Commit 9b37efd pushed by aripiprazole
May 12, 2024 13:52 55s main
main
May 12, 2024 13:52 55s
fix(sol-driver): improve driver suite architeture Continuous Integration #40: Commit 82733c6 pushed by aripiprazole
May 12, 2024 13:50 53s main
main
May 12, 2024 13:50 53s