Skip to content

Actions: osa1/h10

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
270 workflow runs
270 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bug fix in indentation group parsing and tests Update site #78: Commit 8c05744 pushed by osa1
February 6, 2024 11:37 1m 57s main
main
February 6, 2024 11:37 1m 57s
pages build and deployment pages-build-deployment #56: by github-pages bot
February 6, 2024 11:19 44s gh-pages
gh-pages
February 6, 2024 11:19 44s
Fix span of top-level patterns Update site #77: Commit d6781e5 pushed by osa1
February 6, 2024 11:17 2m 12s main
main
February 6, 2024 11:17 2m 12s
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
WIP: More dependency analysis for incremental type checking Update site #76: Commit cf731e9 pushed by osa1
February 5, 2024 21:49 1m 57s main
main
February 5, 2024 21:49 1m 57s
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
Fix assigning parent nodes to nested AST nodes Update site #75: Commit 28c31ab pushed by osa1
February 4, 2024 14:00 1m 54s main
main
February 4, 2024 14:00 1m 54s
pages build and deployment pages-build-deployment #55: by github-pages bot
February 3, 2024 20:17 52s gh-pages
gh-pages
February 3, 2024 20:17 52s
Implement indentation group reuse -- not tested yet Update site #74: Commit 218c519 pushed by osa1
February 3, 2024 20:15 1m 57s main
main
February 3, 2024 20:15 1m 57s
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 Update site #73: Commit 51bdd87 pushed by osa1
February 3, 2024 16:31 2m 0s main
main
February 3, 2024 16:31 2m 0s
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
pages build and deployment pages-build-deployment #54: by github-pages bot
February 3, 2024 12:29 42s gh-pages
gh-pages
February 3, 2024 12:29 42s
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
WIP: New indentation group parser Update site #72: Commit d8cc767 pushed by osa1
February 3, 2024 12:27 1m 58s main
main
February 3, 2024 12:27 1m 58s
pages build and deployment pages-build-deployment #53: by github-pages bot
February 1, 2024 10:16 43s gh-pages
gh-pages
February 1, 2024 10:16 43s
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
Remove an unused code in class env generation, update some comments Update site #71: Commit e4ef90b pushed by osa1
February 1, 2024 10:14 2m 1s main
main
February 1, 2024 10:14 2m 1s
pages build and deployment pages-build-deployment #52: by github-pages bot
January 31, 2024 20:58 46s gh-pages
gh-pages
January 31, 2024 20:58 46s
Add some indentation group reuse tests Update site #70: Commit faed123 pushed by osa1
January 31, 2024 20:56 2m 1s main
main
January 31, 2024 20:56 2m 1s
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
pages build and deployment pages-build-deployment #51: by github-pages bot
January 31, 2024 15:31 45s gh-pages
gh-pages
January 31, 2024 15:31 45s
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
WIP: Start analyzing top-level decls to create a global dep graph Update site #69: Commit 5316704 pushed by osa1
January 31, 2024 15:29 2m 1s main
main
January 31, 2024 15:29 2m 1s