Skip to content

Actions: osa1/h10

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

pages build and deployment
pages-build-deployment #62: by github-pages bot
February 25, 2024 13:30 43s gh-pages
February 25, 2024 13:30 43s
Remove some unused TopDecl fields and methods
Update site #87: Commit 5b292a2 pushed by osa1
February 25, 2024 13:28 1m 58s main
February 25, 2024 13:28 1m 58s
Remove some unused TopDecl fields and methods
CI #121: Commit 5b292a2 pushed by osa1
February 25, 2024 13:28 1m 27s main
February 25, 2024 13:28 1m 27s
pages build and deployment
pages-build-deployment #61: by github-pages bot
February 12, 2024 13:35 45s gh-pages
February 12, 2024 13:35 45s
Return the freed element in arena
CI #120: Commit d0f9f23 pushed by osa1
February 12, 2024 13:33 1m 50s main
February 12, 2024 13:33 1m 50s
Return the freed element in arena
Update site #86: Commit d0f9f23 pushed by osa1
February 12, 2024 13:33 2m 5s main
February 12, 2024 13:33 2m 5s
pages build and deployment
pages-build-deployment #60: by github-pages bot
February 12, 2024 09:36 50s gh-pages
February 12, 2024 09:36 50s
Make DeclArena generic
CI #119: Commit 9e52fd0 pushed by osa1
February 12, 2024 09:34 1m 53s main
February 12, 2024 09:34 1m 53s
Make DeclArena generic
Update site #85: Commit 9e52fd0 pushed by osa1
February 12, 2024 09:34 2m 11s main
February 12, 2024 09:34 2m 11s
pages build and deployment
pages-build-deployment #59: by github-pages bot
February 10, 2024 11:23 44s gh-pages
February 10, 2024 11:23 44s
Remove unused fields from TopDecl, add some TODOs
CI #118: Commit 74cd97e pushed by osa1
February 10, 2024 11:21 1m 47s main
February 10, 2024 11:21 1m 47s
Remove unused fields from TopDecl, add some TODOs
Update site #84: Commit 74cd97e pushed by osa1
February 10, 2024 11:21 2m 1s main
February 10, 2024 11:21 2m 1s
pages build and deployment
pages-build-deployment #58: by github-pages bot
February 8, 2024 12:56 43s gh-pages
February 8, 2024 12:56 43s
Start adding decl infos to top-level decls
Update site #83: Commit a2768ab pushed by osa1
February 8, 2024 12:54 1m 55s main
February 8, 2024 12:54 1m 55s
Start adding decl infos to top-level decls
CI #117: Commit a2768ab pushed by osa1
February 8, 2024 12:54 1m 47s main
February 8, 2024 12:54 1m 47s
More decl info tests
Update site #82: Commit 12c5f41 pushed by osa1
February 7, 2024 18:18 2m 0s main
February 7, 2024 18:18 2m 0s
More decl info tests
CI #116: Commit 12c5f41 pushed by osa1
February 7, 2024 18:18 1m 37s 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
February 7, 2024 15:38 1m 50s
Start testing decl info stuff
Update site #81: Commit 46bce2b pushed by osa1
February 7, 2024 15:38 2m 18s main
February 7, 2024 15:38 2m 18s
WIP: More dependency analysis -- not tested
CI #114: Commit 18cd224 pushed by osa1
February 7, 2024 15:00 1m 49s main
February 7, 2024 15:00 1m 49s
WIP: More dependency analysis -- not tested
Update site #80: Commit 18cd224 pushed by osa1
February 7, 2024 15:00 2m 6s main
February 7, 2024 15:00 2m 6s
pages build and deployment
pages-build-deployment #57: by github-pages bot
February 7, 2024 13:09 44s gh-pages
February 7, 2024 13:09 44s
Start using indentation groups to parse a module
Update site #79: Commit 93f145f pushed by osa1
February 7, 2024 13:07 1m 58s main
February 7, 2024 13:07 1m 58s
Start using indentation groups to parse a module
CI #113: Commit 93f145f pushed by osa1
February 7, 2024 13:07 1m 54s 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
February 6, 2024 11:37 1m 42s