Skip to content

Actions: panglesd/odoc

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
755 workflow runs
755 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

WIP Build #917: Commit ac2af31 pushed by panglesd
October 17, 2024 11:58 6m 11s complete-sidebar
complete-sidebar
October 17, 2024 11:58 6m 11s
Driver.mld: Apply suggestions from code review Build #916: Commit caddba4 pushed by panglesd
October 17, 2024 10:04 10m 38s new_driving_guide
new_driving_guide
October 17, 2024 10:04 10m 38s
WIP Build #915: Commit 71dd8e0 pushed by panglesd
October 16, 2024 16:07 6m 20s complete-sidebar
complete-sidebar
October 16, 2024 16:07 6m 20s
WIP Build #914: Commit 9ccc10d pushed by panglesd
October 15, 2024 15:35 6m 6s complete-sidebar
complete-sidebar
October 15, 2024 15:35 6m 6s
WIP looking good Build #913: Commit e3fe2e8 pushed by panglesd
October 15, 2024 14:43 6m 23s complete-sidebar
complete-sidebar
October 15, 2024 14:43 6m 23s
WIP add color to children ++ fix alias problem Build #912: Commit f413ce5 pushed by panglesd
October 14, 2024 11:10 6m 17s complete-sidebar
complete-sidebar
October 14, 2024 11:10 6m 17s
WIP with my dream sidebar Build #911: Commit 0593a73 pushed by panglesd
October 11, 2024 14:35 6m 6s complete-sidebar
complete-sidebar
October 11, 2024 14:35 6m 6s
WIP Build #910: Commit 25c047e pushed by panglesd
October 11, 2024 09:29 6m 0s complete-sidebar
complete-sidebar
October 11, 2024 09:29 6m 0s
Reduce lower bounds on Dune Build #909: Commit 92e7499 pushed by panglesd
October 10, 2024 10:23 10m 50s complete-sidebar
complete-sidebar
October 10, 2024 10:23 10m 50s
Rewrite the driver guide following the odoc 3 changes Build #908: Commit 0f16f83 pushed by panglesd
October 8, 2024 16:31 6m 14s new_driving_guide
new_driving_guide
October 8, 2024 16:31 6m 14s
WIP Build #907: Commit 043c2ce pushed by panglesd
October 8, 2024 16:30 10m 52s save_new_driving_guide
save_new_driving_guide
October 8, 2024 16:30 10m 52s
WIP Build #906: Commit fe333dd pushed by panglesd
October 8, 2024 08:53 6m 23s new_driving_guide
new_driving_guide
October 8, 2024 08:53 6m 23s
Count-occurrences: consistency and driver support Build #905: Commit 5c08d65 pushed by panglesd
October 7, 2024 08:26 10m 43s count-occurrences-in-ref-driver
count-occurrences-in-ref-driver
October 7, 2024 08:26 10m 43s
WIP Build #904: Commit 9d46d93 pushed by panglesd
October 4, 2024 16:13 6m 30s new_driving_guide
new_driving_guide
October 4, 2024 16:13 6m 30s
WIP Build #903: Commit 6752dab pushed by panglesd
October 4, 2024 13:04 6m 10s new_driving_guide
new_driving_guide
October 4, 2024 13:04 6m 10s
Fix using odoc_driver to build odoc Build #902: Commit 6190935 pushed by panglesd
October 4, 2024 13:00 10m 52s fix-building-odoc-doc
fix-building-odoc-doc
October 4, 2024 13:00 10m 52s
WIP Build #901: Commit 5febe9d pushed by panglesd
October 4, 2024 12:51 6m 29s new_driving_guide
new_driving_guide
October 4, 2024 12:51 6m 29s
WIP Build #900: Commit 5ab7b75 pushed by panglesd
October 3, 2024 15:10 6m 11s new_driving_guide
new_driving_guide
October 3, 2024 15:10 6m 11s
Children order: Remove common root using ID not URL segments Build #899: Commit a5db29c pushed by panglesd
October 3, 2024 13:26 6m 18s page-order-new-take
page-order-new-take
October 3, 2024 13:26 6m 18s
WIP Build #898: Commit 16c8266 pushed by panglesd
October 3, 2024 13:24 10m 44s new_driving_guide
new_driving_guide
October 3, 2024 13:24 10m 44s
Children order: Remove common root using ID not URL segments Build #897: Commit 03389b1 pushed by panglesd
October 3, 2024 10:15 6m 33s page-order-new-take
page-order-new-take
October 3, 2024 10:15 6m 33s
Compatibility again Build #896: Commit 6c09910 pushed by panglesd
October 3, 2024 09:55 6m 13s page-order-new-take
page-order-new-take
October 3, 2024 09:55 6m 13s
Do not open Path.Identifier Build #895: Commit e7e2626 pushed by panglesd
October 3, 2024 08:46 5m 56s page-order-new-take
page-order-new-take
October 3, 2024 08:46 5m 56s
Children order: compatibility Build #894: Commit dfdf6db pushed by panglesd
October 3, 2024 08:36 11m 6s page-order-new-take
page-order-new-take
October 3, 2024 08:36 11m 6s
Children order: Add warnings for duplicated and unresolved entries Build #893: Commit 979868d pushed by panglesd
October 3, 2024 07:46 6m 10s page-order-new-take
page-order-new-take
October 3, 2024 07:46 6m 10s