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-thir): add current location struct Continuous Integration #39: Commit 428cb6c pushed by aripiprazole
May 12, 2024 13:50 55s main
main
May 12, 2024 13:50 55s
fix(sol-thir): reestructure type inference Continuous Integration #38: Commit ba9f954 pushed by aripiprazole
May 12, 2024 13:24 1m 3s main
main
May 12, 2024 13:24 1m 3s
fix(sol-thir): add debruijin files Continuous Integration #37: Commit 759a4f1 pushed by aripiprazole
May 12, 2024 13:12 56s main
main
May 12, 2024 13:12 56s
fix(sol-thir): add debruijin files Continuous Integration #36: Commit d591e8a pushed by aripiprazole
May 12, 2024 13:12 50s main
main
May 12, 2024 13:12 50s
fix(sol-thir): add debruijin files Continuous Integration #35: Commit fb972bd pushed by aripiprazole
May 12, 2024 13:10 55s main
main
May 12, 2024 13:10 55s
fix(sol-driver): fix couple of errors Continuous Integration #34: Commit a727a8f pushed by aripiprazole
May 9, 2024 01:49 2m 8s main
main
May 9, 2024 01:49 2m 8s
feat(sol-syntax): fix order of parameters Continuous Integration #33: Commit 8c18b6a pushed by aripiprazole
May 9, 2024 01:44 54s main
main
May 9, 2024 01:44 54s
feat(sol-syntax): fix something Continuous Integration #32: Commit cf76f68 pushed by aripiprazole
May 9, 2024 01:36 55s main
main
May 9, 2024 01:36 55s
feat(sol-syntax): fix syntax reading Continuous Integration #31: Commit 30cb04f pushed by aripiprazole
May 9, 2024 01:35 50s main
main
May 9, 2024 01:35 50s
feat(sol-syntax): fix to something parseable Continuous Integration #30: Commit a095dba pushed by aripiprazole
May 8, 2024 01:25 55s main
main
May 8, 2024 01:25 55s
feat(sol-thir): fix compilation errors Continuous Integration #29: Commit a3e718c pushed by aripiprazole
May 8, 2024 01:16 56s main
main
May 8, 2024 01:16 56s
feat(sol-thir): move to one single file Continuous Integration #28: Commit a0cb4d3 pushed by aripiprazole
May 8, 2024 01:07 52s main
main
May 8, 2024 01:07 52s
feat(sol-driver): fix church encoding tests Continuous Integration #27: Commit 19fff4a pushed by aripiprazole
May 8, 2024 01:03 52s main
main
May 8, 2024 01:03 52s
feat(sol-thir): add base to desugar Continuous Integration #26: Commit 37db5b1 pushed by aripiprazole
May 7, 2024 19:52 57s main
main
May 7, 2024 19:52 57s
feat(sol-thir): add base Continuous Integration #25: Commit 06c19af pushed by aripiprazole
May 7, 2024 19:38 53s main
main
May 7, 2024 19:38 53s
feat(tree-sitter-sol): use || Continuous Integration #24: Commit 68b478c pushed by aripiprazole
May 7, 2024 18:55 53s main
main
May 7, 2024 18:55 53s
feat(tree-sitter-sol): improve syntax Continuous Integration #23: Commit 56e8ae3 pushed by aripiprazole
May 7, 2024 17:50 55s main
main
May 7, 2024 17:50 55s
feat(sol-syntax): remove dependent types feature Continuous Integration #22: Commit db1a155 pushed by aripiprazole
May 7, 2024 15:44 56s main
main
May 7, 2024 15:44 56s
Merge remote-tracking branch 'origin/main' Continuous Integration #21: Commit 5c8fa8f pushed by aripiprazole
May 5, 2024 14:58 57s main
main
May 5, 2024 14:58 57s
chore(deps): bump tar from 6.1.15 to 6.2.1 Continuous Integration #20: Pull request #5 opened by dependabot bot
April 11, 2024 11:19 34s dependabot/npm_and_yarn/tar-6.2.1
dependabot/npm_and_yarn/tar-6.2.1
April 11, 2024 11:19 34s
chore(deps-dev): bump vite from 4.5.2 to 4.5.3 in /docs Continuous Integration #19: Pull request #4 opened by dependabot bot
April 4, 2024 01:56 1m 9s dependabot/npm_and_yarn/docs/vite-4.5.3
dependabot/npm_and_yarn/docs/vite-4.5.3
April 4, 2024 01:56 1m 9s
chore(deps): bump mio from 0.8.8 to 0.8.11 (#3) Continuous Integration #18: Commit 5198e01 pushed by aripiprazole
March 10, 2024 17:34 34s main
main
March 10, 2024 17:34 34s
refactor: remove sol-js Continuous Integration #17: Commit da41809 pushed by aripiprazole
March 10, 2024 17:23 31s main
main
March 10, 2024 17:23 31s
chore(tree-sitter-sol): add more syntax ideas Continuous Integration #16: Commit 1329345 pushed by aripiprazole
March 10, 2024 17:22 47s main
main
March 10, 2024 17:22 47s
chore(tree-sitter-sol): add more syntax ideas Continuous Integration #15: Commit 921f6a3 pushed by aripiprazole
March 10, 2024 17:21 52s main
main
March 10, 2024 17:21 52s