Skip to content

Actions: panglesd/odoc

Actions

Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
752 workflow runs
752 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Sidebar generate: Update driver Build #942: Commit 5d6b254 pushed by panglesd
October 21, 2024 17:12 6m 23s json-sidebar-output
json-sidebar-output
October 21, 2024 17:12 6m 23s
Sidebar generate: Add a "kind" to the json output Build #941: Commit 602a095 pushed by panglesd
October 21, 2024 16:30 11m 28s json-sidebar-output
json-sidebar-output
October 21, 2024 16:30 11m 28s
Format dune files Build #940: Commit 6c49d6e pushed by panglesd
October 18, 2024 15:14 6m 55s complete-sidebar
complete-sidebar
October 18, 2024 15:14 6m 55s
Compatibility Build #939: Commit 1677caa pushed by panglesd
October 18, 2024 14:36 6m 11s complete-sidebar
complete-sidebar
October 18, 2024 14:36 6m 11s
Compatibility Build #938: Commit 2806237 pushed by panglesd
October 18, 2024 14:25 6m 10s complete-sidebar
complete-sidebar
October 18, 2024 14:25 6m 10s
Compatibility Build #937: Commit ac2599b pushed by panglesd
October 18, 2024 13:34 6m 3s complete-sidebar
complete-sidebar
October 18, 2024 13:34 6m 3s
Driver doc; from clusters to trees Build #936: Commit 01ba5ea pushed by panglesd
October 18, 2024 13:24 6m 26s new_driving_guide
new_driving_guide
October 18, 2024 13:24 6m 26s
Add changelog entry for #1220 Build #935: Commit 35ad0aa pushed by panglesd
October 18, 2024 10:26 5m 58s complete-sidebar
complete-sidebar
October 18, 2024 10:26 5m 58s
Sidebar and index overhaul Build #934: Commit 82c4d01 pushed by panglesd
October 18, 2024 10:12 6m 21s complete-sidebar
complete-sidebar
October 18, 2024 10:12 6m 21s
Sidebar and index overhaul Build #933: Commit 19fc52f pushed by panglesd
October 18, 2024 10:01 10m 33s complete-sidebar
complete-sidebar
October 18, 2024 10:01 10m 33s
Sidebar and index overhaul Build #932: Commit d6b4fbe pushed by panglesd
October 18, 2024 10:00 6m 10s complete-sidebar
complete-sidebar
October 18, 2024 10:00 6m 10s
Move model/sidebar to index/page_hierarchy Build #931: Commit 5b71001 pushed by panglesd
October 18, 2024 10:00 10m 21s save-complete-sidebar
save-complete-sidebar
October 18, 2024 10:00 10m 21s
Move model/sidebar to index/page_hierarchy Build #930: Commit 5b71001 pushed by panglesd
October 18, 2024 07:15 6m 11s complete-sidebar
complete-sidebar
October 18, 2024 07:15 6m 11s
Tree: rename entry to node Build #929: Commit 967eab9 pushed by panglesd
October 18, 2024 06:56 5m 58s complete-sidebar
complete-sidebar
October 18, 2024 06:56 5m 58s
Index: handle constructors and fields Build #928: Commit aa6ad0f pushed by panglesd
October 18, 2024 06:51 6m 25s complete-sidebar
complete-sidebar
October 18, 2024 06:51 6m 25s
Index: handle constructors and fields Build #927: Commit f20c1f3 pushed by panglesd
October 18, 2024 06:50 6m 10s complete-sidebar
complete-sidebar
October 18, 2024 06:50 6m 10s
Index: giving a name to skeleton type Build #926: Commit 71cb8c0 pushed by panglesd
October 18, 2024 06:34 6m 16s complete-sidebar
complete-sidebar
October 18, 2024 06:34 6m 16s
Index: Use a custom entry module Build #925: Commit 8d487b8 pushed by panglesd
October 18, 2024 06:27 6m 22s complete-sidebar
complete-sidebar
October 18, 2024 06:27 6m 22s
Promoting tests Build #924: Commit 8050aed pushed by panglesd
October 17, 2024 15:54 6m 1s complete-sidebar
complete-sidebar
October 17, 2024 15:54 6m 1s
Removing Fold completely Build #923: Commit 6766ab4 pushed by panglesd
October 17, 2024 15:52 6m 15s complete-sidebar
complete-sidebar
October 17, 2024 15:52 6m 15s
WIP Build #922: Commit b3c02c8 pushed by panglesd
October 17, 2024 15:48 6m 15s complete-sidebar
complete-sidebar
October 17, 2024 15:48 6m 15s
Better comment Build #921: Commit 32c41e0 pushed by panglesd
October 17, 2024 15:22 6m 3s complete-sidebar
complete-sidebar
October 17, 2024 15:22 6m 3s
fix ignored standalone comments Build #920: Commit 2d83906 pushed by panglesd
October 17, 2024 15:17 6m 5s complete-sidebar
complete-sidebar
October 17, 2024 15:17 6m 5s
WIP Build #919: Commit 3583c32 pushed by panglesd
October 17, 2024 15:02 6m 10s complete-sidebar
complete-sidebar
October 17, 2024 15:02 6m 10s
Driver.mld: user "cluster" for -P and -L groups Build #918: Commit 01d87cd pushed by panglesd
October 17, 2024 13:08 6m 29s new_driving_guide
new_driving_guide
October 17, 2024 13:08 6m 29s