Skip to content

Actions: OCADml/OCADml

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
5 workflow runs
5 workflow runs
Event

Filter by event

Loading
Status

Filter by status

Loading
Branch
Actor

Filter by actor

Loading
pages build and deployment pages-build-deployment #30: by github-pages bot
May 1, 2023 19:00 35s
May 1, 2023 19:00 35s
+ untracked files missed in last commit Deploy odoc #52: Commit f5dfbf5 pushed by geoffder
May 1, 2023 18:57 3m 33s main
main
May 1, 2023 18:57 3m 33s
Add usage example to readme/index Deploy odoc #51: Commit a5a94de pushed by geoffder
May 1, 2023 18:54 3m 13s main
main
May 1, 2023 18:54 3m 13s
pages build and deployment pages-build-deployment #29: by github-pages bot
May 1, 2023 18:20 36s
May 1, 2023 18:20 36s
Mesh.{skline,of_stl} + various fixes (v0.6.0) Deploy odoc #50: Commit 71d4bdd pushed by geoffder
May 1, 2023 18:12 8m 4s main
main
May 1, 2023 18:12 8m 4s