Skip to content

Actions: jonludlam/odoc

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
316 workflow runs
316 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Improvements following PR review Build #875: Commit db5b896 pushed by jonludlam
November 12, 2024 16:15 7m 3s driver-document-packages
driver-document-packages
November 12, 2024 16:15 7m 3s
Address PR review comments Build #874: Commit d9cea3d pushed by jonludlam
November 12, 2024 16:05 7m 47s markdown
markdown
November 12, 2024 16:05 7m 47s
Fixes following PR review Build #873: Commit 07c9dbc pushed by jonludlam
November 12, 2024 15:56 9m 24s markdown
markdown
November 12, 2024 15:56 9m 24s
Driver: Exhaustive match checks Build #872: Commit 0de0b41 pushed by jonludlam
November 12, 2024 15:41 7m 48s voodoo-fix
voodoo-fix
November 12, 2024 15:41 7m 48s
Updates following PR review comments Build #871: Commit 7dd3fb2 pushed by jonludlam
November 11, 2024 16:17 6m 8s voodoo-fix
voodoo-fix
November 11, 2024 16:17 6m 8s
Driver: Separate the libs and packages modes into subcommands Build #870: Commit 4c876bb pushed by jonludlam
November 11, 2024 15:33 6m 26s driver-document-packages
driver-document-packages
November 11, 2024 15:33 6m 26s
Driver: Separate the libs and packages modes into subcommands Build #869: Commit 84c87fc pushed by jonludlam
November 11, 2024 15:30 6m 28s driver-document-packages
driver-document-packages
November 11, 2024 15:30 6m 28s
Driver: Add missing library dependencies Build #868: Commit 41ba6f7 pushed by jonludlam
November 8, 2024 17:56 6m 9s driver-document-packages
driver-document-packages
November 8, 2024 17:56 6m 9s
Promote test output Build #867: Commit 9f12fc6 pushed by jonludlam
November 8, 2024 15:35 6m 29s voodoo-fix
voodoo-fix
November 8, 2024 15:35 6m 29s
Ensure pages of the current package can be referenced unqualified Build #866: Commit 9a701a9 pushed by jonludlam
November 8, 2024 15:28 10m 52s voodoo-fix
voodoo-fix
November 8, 2024 15:28 10m 52s
Ensure pages of the current package can be referenced unqualified Build #865: Commit a7e6d72 pushed by jonludlam
November 8, 2024 15:24 10m 56s voodoo-fix
voodoo-fix
November 8, 2024 15:24 10m 56s
Add odoc-md.opam Build #864: Commit bdd5ccc pushed by jonludlam
November 5, 2024 15:13 9m 24s markdown
markdown
November 5, 2024 15:13 9m 24s
Driver: package and library arguments Build #863: Commit 14643c3 pushed by jonludlam
November 5, 2024 15:13 6m 30s driver-document-packages
driver-document-packages
November 5, 2024 15:13 6m 30s
Add odoc-md.opam Build #862: Commit a0c50b1 pushed by jonludlam
November 5, 2024 15:12 6m 23s driver-document-packages
driver-document-packages
November 5, 2024 15:12 6m 23s
Update CHANGES.md Build #861: Commit 50b757f pushed by jonludlam
November 5, 2024 15:02 6m 11s markdown
markdown
November 5, 2024 15:02 6m 11s
Driver: Process markdown files installed in opam doc dir Build #860: Commit 0ead601 pushed by jonludlam
November 5, 2024 14:27 10m 26s markdown
markdown
November 5, 2024 14:27 10m 26s
Remove unused functions Build #859: Commit e202b1c pushed by jonludlam
October 31, 2024 17:04 10m 44s docs-lib-deps
docs-lib-deps
October 31, 2024 17:04 10m 44s
Remove unused functions Build #858: Commit f2d85d1 pushed by jonludlam
October 31, 2024 17:01 10m 49s docs-lib-deps
docs-lib-deps
October 31, 2024 17:01 10m 49s
Driver: package and library arguments Build #857: Commit 14643c3 pushed by jonludlam
October 31, 2024 11:35 6m 36s driver-document-packages
driver-document-packages
October 31, 2024 11:35 6m 36s
Driver: package and library arguments Build #856: Commit 13f6fca pushed by jonludlam
October 31, 2024 11:26 10m 57s driver-document-packages
driver-document-packages
October 31, 2024 11:26 10m 57s
Driver: package and library arguments Build #855: Commit 65a80b3 pushed by jonludlam
October 31, 2024 11:23 10m 43s driver-document-packages
driver-document-packages
October 31, 2024 11:23 10m 43s
Driver: Slightly nicer pkg_args Build #854: Commit a25c878 pushed by jonludlam
October 29, 2024 14:31 10m 56s odoc-driver-errors4
odoc-driver-errors4
October 29, 2024 14:31 10m 56s
Merge commit '5d6b2541b571bb1920c1507b359693993519ecd5' into test-x-p… Build #853: Commit 2bebd0e pushed by jonludlam
October 28, 2024 12:57 11m 39s merged-sidebar
merged-sidebar
October 28, 2024 12:57 11m 39s
Add odoc-driver to odoc.opam Build #852: Commit a24820c pushed by jonludlam
October 27, 2024 09:37 6m 19s test-x-package-links
test-x-package-links
October 27, 2024 09:37 6m 19s
Driver: Option to omit package list page Build #851: Commit e4897c7 pushed by jonludlam
October 25, 2024 15:05 6m 31s test-x-package-links
test-x-package-links
October 25, 2024 15:05 6m 31s