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

feat(sol-thir-lowering): implement infer_lam Continuous Integration #89: Commit 9189a3a pushed by aripiprazole
May 30, 2024 19:37 50s main
main
May 30, 2024 19:37 50s
feat(sol-thir-lowering): fix errors Continuous Integration #88: Commit 3e65a4d pushed by aripiprazole
May 30, 2024 00:59 54s main
main
May 30, 2024 00:59 54s
feat(sol-thir-lowering): improve code Continuous Integration #87: Commit 3c52ce7 pushed by aripiprazole
May 30, 2024 00:58 53s main
main
May 30, 2024 00:58 53s
feat(sol-thir-lowering): elaborate on pi Continuous Integration #86: Commit 92afe22 pushed by aripiprazole
May 30, 2024 00:57 48s main
main
May 30, 2024 00:57 48s
feat(sol-thir-lowering): add unsupported term error Continuous Integration #85: Commit b197eb6 pushed by aripiprazole
May 30, 2024 00:41 55s main
main
May 30, 2024 00:41 55s
feat(sol-thir): elaborate path Continuous Integration #84: Commit 295d95a pushed by aripiprazole
May 30, 2024 00:38 52s main
main
May 30, 2024 00:38 52s
feat(sol-thir-lowering): refactor unify and insert Continuous Integration #83: Commit 8144c4b pushed by aripiprazole
May 29, 2024 23:39 57s main
main
May 29, 2024 23:39 57s
feat(sol-thir-lowering): implement unify catch Continuous Integration #82: Commit 68aaa3c pushed by aripiprazole
May 29, 2024 23:30 1m 0s main
main
May 29, 2024 23:30 1m 0s
refactor(sol-thir): fix warnings Continuous Integration #81: Commit 16cfdda pushed by aripiprazole
May 29, 2024 23:23 56s main
main
May 29, 2024 23:23 56s
feat(sol-thir): implement unification Continuous Integration #80: Commit b8cad73 pushed by aripiprazole
May 29, 2024 23:20 51s main
main
May 29, 2024 23:20 51s
feat(sol-thir): implement unification Continuous Integration #79: Commit 02f86da pushed by aripiprazole
May 29, 2024 23:20 55s main
main
May 29, 2024 23:20 55s
feat(sol-diagnostic): fix errors display Continuous Integration #78: Commit 4b798f0 pushed by aripiprazole
May 29, 2024 16:15 55s main
main
May 29, 2024 16:15 55s
feat(sol-driver): add fancy errors Continuous Integration #77: Commit 8458a6f pushed by aripiprazole
May 29, 2024 04:26 54s main
main
May 29, 2024 04:26 54s
refactor(sol-hir): rename no to not_found Continuous Integration #76: Commit 8a22d69 pushed by aripiprazole
May 29, 2024 04:15 52s main
main
May 29, 2024 04:15 52s
feat(sol-hir): implement into source span Continuous Integration #75: Commit 140f224 pushed by aripiprazole
May 29, 2024 04:07 49s main
main
May 29, 2024 04:07 49s
feat(sol-diagnostic): add bail and other eyre functions Continuous Integration #74: Commit 22e95de pushed by aripiprazole
May 29, 2024 03:50 46s main
main
May 29, 2024 03:50 46s
feat(sol-driver): add golden tests outputs Continuous Integration #73: Commit 25db558 pushed by aripiprazole
May 29, 2024 03:32 47s main
main
May 29, 2024 03:32 47s
fix(sol-driver): fix sol driver errors Continuous Integration #72: Commit 9983ce6 pushed by aripiprazole
May 29, 2024 03:24 55s main
main
May 29, 2024 03:24 55s
chore: indent_size as 4 Continuous Integration #71: Commit 04df123 pushed by aripiprazole
May 29, 2024 03:09 50s main
main
May 29, 2024 03:09 50s
fix(sol-hir-lowering): fix lib file Continuous Integration #70: Commit 37cfd98 pushed by aripiprazole
May 29, 2024 03:02 50s main
main
May 29, 2024 03:02 50s
fix(sol-hir-lowering): fix pattern file Continuous Integration #69: Commit 737d8a4 pushed by aripiprazole
May 29, 2024 02:51 53s main
main
May 29, 2024 02:51 53s
fix(sol-hir-lowering): fix term file Continuous Integration #68: Commit 8f0e769 pushed by aripiprazole
May 29, 2024 02:49 53s main
main
May 29, 2024 02:49 53s
fix(sol-hir-lowering): fix statement file Continuous Integration #67: Commit c529839 pushed by aripiprazole
May 29, 2024 02:31 51s main
main
May 29, 2024 02:31 51s
refactor(sol-hir): break source into multiple files Continuous Integration #66: Commit 6f1ceb7 pushed by aripiprazole
May 29, 2024 02:11 51s main
main
May 29, 2024 02:11 51s
feat(sol-driver): use into_eyre_diagnostic Continuous Integration #65: Commit 1da37ba pushed by aripiprazole
May 29, 2024 01:59 1m 0s main
main
May 29, 2024 01:59 1m 0s