Skip to content

Actions: osa1/h10

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
270 workflow runs
270 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
pages build and deployment pages-build-deployment #62: by github-pages bot
February 25, 2024 13:30 43s
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
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
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
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
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
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
February 12, 2024 09:36 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
Make DeclArena generic Update site #85: Commit 9e52fd0 pushed by osa1
February 12, 2024 09:34 2m 11s main
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
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
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
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
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
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
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
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
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
Start testing decl info stuff Update site #81: Commit 46bce2b pushed by osa1
February 7, 2024 15:38 2m 18s main
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
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
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
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
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
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