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

Remove some unused TopDecl fields and methods CI #121: Commit 5b292a2 pushed by osa1
February 25, 2024 13:28 1m 27s main
main
February 25, 2024 13:28 1m 27s
Return the freed element in arena CI #120: Commit d0f9f23 pushed by osa1
February 12, 2024 13:33 1m 50s main
main
February 12, 2024 13:33 1m 50s
Make DeclArena generic CI #119: Commit 9e52fd0 pushed by osa1
February 12, 2024 09:34 1m 53s main
main
February 12, 2024 09:34 1m 53s
Remove unused fields from TopDecl, add some TODOs CI #118: Commit 74cd97e pushed by osa1
February 10, 2024 11:21 1m 47s main
main
February 10, 2024 11:21 1m 47s
Start adding decl infos to top-level decls CI #117: Commit a2768ab pushed by osa1
February 8, 2024 12:54 1m 47s main
main
February 8, 2024 12:54 1m 47s
More decl info tests CI #116: Commit 12c5f41 pushed by osa1
February 7, 2024 18:18 1m 37s main
main
February 7, 2024 18:18 1m 37s
Start testing decl info stuff CI #115: Commit 46bce2b pushed by osa1
February 7, 2024 15:38 1m 50s main
main
February 7, 2024 15:38 1m 50s
WIP: More dependency analysis -- not tested CI #114: Commit 18cd224 pushed by osa1
February 7, 2024 15:00 1m 49s main
main
February 7, 2024 15:00 1m 49s
Start using indentation groups to parse a module CI #113: Commit 93f145f pushed by osa1
February 7, 2024 13:07 1m 54s main
main
February 7, 2024 13:07 1m 54s
Bug fix in indentation group parsing and tests CI #112: Commit 8c05744 pushed by osa1
February 6, 2024 11:37 1m 42s main
main
February 6, 2024 11:37 1m 42s
Fix span of top-level patterns CI #111: Commit d6781e5 pushed by osa1
February 6, 2024 11:17 1m 54s main
main
February 6, 2024 11:17 1m 54s
WIP: More dependency analysis for incremental type checking CI #110: Commit cf731e9 pushed by osa1
February 5, 2024 21:49 1m 44s main
main
February 5, 2024 21:49 1m 44s
Fix assigning parent nodes to nested AST nodes CI #109: Commit 28c31ab pushed by osa1
February 4, 2024 14:00 1m 31s main
main
February 4, 2024 14:00 1m 31s
Implement indentation group reuse -- not tested yet CI #108: Commit 218c519 pushed by osa1
February 3, 2024 20:15 1m 45s main
main
February 3, 2024 20:15 1m 45s
Add a test checking trivia nodes of AST nodes CI #107: Commit 51bdd87 pushed by osa1
February 3, 2024 16:31 1m 47s main
main
February 3, 2024 16:31 1m 47s
WIP: New indentation group parser CI #106: Commit d8cc767 pushed by osa1
February 3, 2024 12:27 1m 44s main
main
February 3, 2024 12:27 1m 44s
Remove an unused code in class env generation, update some comments CI #105: Commit e4ef90b pushed by osa1
February 1, 2024 10:14 1m 36s main
main
February 1, 2024 10:14 1m 36s
Add some indentation group reuse tests CI #104: Commit faed123 pushed by osa1
January 31, 2024 20:56 1m 35s main
main
January 31, 2024 20:56 1m 35s
WIP: Start analyzing top-level decls to create a global dep graph CI #103: Commit 5316704 pushed by osa1
January 31, 2024 15:29 1m 39s main
main
January 31, 2024 15:29 1m 39s
Lexing: Allow spaces between the comment start and pipe CI #102: Commit 2d3b4c6 pushed by osa1
January 30, 2024 20:15 2m 33s main
main
January 30, 2024 20:15 2m 33s
LS: Move outline generation to its own module, improve it slightly CI #101: Commit 7e4d059 pushed by osa1
January 30, 2024 18:25 1m 48s main
main
January 30, 2024 18:25 1m 48s
Remove duplicate definition of lex_full in parser CI #100: Commit 9c5c73d pushed by osa1
January 30, 2024 09:35 1m 30s main
main
January 30, 2024 09:35 1m 30s
Add a TODO CI #99: Commit acd2f89 pushed by osa1
January 30, 2024 09:16 1m 38s main
main
January 30, 2024 09:16 1m 38s
Code: update extension name CI #98: Commit bb9f037 pushed by osa1
January 30, 2024 08:26 1m 32s main
main
January 30, 2024 08:26 1m 32s
Various incremental parsing fixes around edge cases CI #97: Commit e50c6f0 pushed by osa1
January 30, 2024 08:23 1m 38s main
main
January 30, 2024 08:23 1m 38s