Skip to content

Actions: OCADml/OManifold

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
26 workflow runs
26 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 #24: by github-pages bot
May 17, 2023 00:18 34s
May 17, 2023 00:18 34s
Add mesh import Deploy odoc #62: Commit 4730ac3 pushed by geoffder
May 17, 2023 00:08 10m 26s main
main
May 17, 2023 00:08 10m 26s
pages build and deployment pages-build-deployment #23: by github-pages bot
May 16, 2023 19:52 32s
May 16, 2023 19:52 32s
Add Manifold.mirror + more Cross doc comments Deploy odoc #61: Commit b1d2f54 pushed by geoffder
May 16, 2023 19:42 10m 2s main
main
May 16, 2023 19:42 10m 2s
pages build and deployment pages-build-deployment #22: by github-pages bot
May 16, 2023 07:21 34s
May 16, 2023 07:21 34s
WIP filling in Cross interface docs Deploy odoc #60: Commit 0e20ca7 pushed by geoffder
May 16, 2023 07:05 16m 10s main
main
May 16, 2023 07:05 16m 10s
pages build and deployment pages-build-deployment #21: by github-pages bot
May 16, 2023 06:14 31s
May 16, 2023 06:14 31s
Add missing dune-configurator to depends Deploy odoc #59: Commit 9fbe204 pushed by geoffder
May 16, 2023 06:06 7m 53s main
main
May 16, 2023 06:06 7m 53s
whitespace Deploy odoc #58: Commit 2c28c02 pushed by geoffder
May 16, 2023 05:55 8m 31s main
main
May 16, 2023 05:55 8m 31s
Use dune configurator to clean up discover Deploy odoc #57: Commit 4b45393 pushed by geoffder
May 16, 2023 05:46 10m 47s main
main
May 16, 2023 05:46 10m 47s
TODO about using pkg-config Deploy odoc #56: Commit dc71576 pushed by geoffder
May 4, 2023 05:23 7m 27s main
main
May 4, 2023 05:23 7m 27s
pages build and deployment pages-build-deployment #20: by github-pages bot
May 4, 2023 05:19 37s
May 4, 2023 05:19 37s
Drop MBox and MRect from interface (use Gg box) Deploy odoc #55: Commit 591efc4 pushed by geoffder
May 4, 2023 05:12 7m 2s main
main
May 4, 2023 05:12 7m 2s
pages build and deployment pages-build-deployment #19: by github-pages bot
May 3, 2023 04:59 35s
May 3, 2023 04:59 35s
pages build and deployment pages-build-deployment #18: by github-pages bot
May 3, 2023 04:57 30s
May 3, 2023 04:57 30s
Rename Output header to IO Deploy odoc #54: Commit 906d5f4 pushed by geoffder
May 3, 2023 04:49 10m 4s main
main
May 3, 2023 04:49 10m 4s
Re-organization of top level interface Deploy odoc #53: Commit bc00a86 pushed by geoffder
May 3, 2023 04:48 9m 13s main
main
May 3, 2023 04:48 9m 13s
Additional env vars to guide flag setting Deploy odoc #52: Commit 04907bf pushed by geoffder
May 3, 2023 04:11 8m 28s main
main
May 3, 2023 04:11 8m 28s
Update to latest manifold Deploy odoc #51: Commit 9aa4eb0 pushed by geoffder
May 3, 2023 03:44 7m 45s main
main
May 3, 2023 03:44 7m 45s
Naming of log artifact step + remove additional build Deploy odoc #50: Commit f073129 pushed by geoffder
May 2, 2023 21:41 7m 21s main
main
May 2, 2023 21:41 7m 21s
pages build and deployment pages-build-deployment #17: by github-pages bot
May 2, 2023 21:32 32s
May 2, 2023 21:32 32s
Re-add pruned deps (likely more than needed) Deploy odoc #49: Commit f118372 pushed by geoffder
May 2, 2023 21:22 9m 56s main
main
May 2, 2023 21:22 9m 56s
Make separate manifold build more similar Deploy odoc #48: Commit 8b1552f pushed by geoffder
May 2, 2023 19:35 8m 14s main
main
May 2, 2023 19:35 8m 14s
Add libtbb-dev install to workflow Deploy odoc #47: Commit 4657a77 pushed by geoffder
May 2, 2023 19:09 9m 35s main
main
May 2, 2023 19:09 9m 35s
bump OCADml dependency Deploy odoc #46: Commit df53d75 pushed by geoffder
May 2, 2023 18:53 13m 20s main
main
May 2, 2023 18:53 13m 20s