Skip to content

Actions: ocaml/odoc

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,091 workflow runs
2,091 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Implicitly ended tags. Check Changelog #853: Pull request #1239 opened by panglesd
November 8, 2024 09:42 13s panglesd:scoped-tags
panglesd:scoped-tags
November 8, 2024 09:42 13s
Allow more hierarchy to be compatible with -L and -P. Check Changelog #852: Pull request #1233 synchronize by panglesd
November 8, 2024 08:17 17s panglesd:allow-more-hierarchies
panglesd:allow-more-hierarchies
November 8, 2024 08:17 17s
Allow more hierarchy to be compatible with -L and -P. Build #2499: Pull request #1233 synchronize by panglesd
November 8, 2024 08:17 6m 7s panglesd:allow-more-hierarchies
panglesd:allow-more-hierarchies
November 8, 2024 08:17 6m 7s
Document Url.from_identifier result return type Check Changelog #851: Pull request #1238 labeled by panglesd
November 7, 2024 17:54 12s panglesd:document-url-from-identifier
panglesd:document-url-from-identifier
November 7, 2024 17:54 12s
Document Url.from_identifier result return type Build #2498: Pull request #1238 opened by panglesd
November 7, 2024 16:39 6m 16s panglesd:document-url-from-identifier
panglesd:document-url-from-identifier
November 7, 2024 16:39 6m 16s
Document Url.from_identifier result return type Check Changelog #850: Pull request #1238 opened by panglesd
November 7, 2024 16:39 16s panglesd:document-url-from-identifier
panglesd:document-url-from-identifier
November 7, 2024 16:39 16s
Represent sidebar TOC as a Tree Check Changelog #849: Pull request #1232 synchronize by gpetiot
November 7, 2024 16:05 18s gpetiot:toc-tree
gpetiot:toc-tree
November 7, 2024 16:05 18s
Represent sidebar TOC as a Tree Build #2497: Pull request #1232 synchronize by gpetiot
November 7, 2024 16:05 6m 37s gpetiot:toc-tree
gpetiot:toc-tree
November 7, 2024 16:05 6m 37s
Split odoc_driver into 3 sub-commands Check Changelog #848: Pull request #1237 opened by gpetiot
November 7, 2024 15:54 12s gpetiot:split-driver-cmd
gpetiot:split-driver-cmd
November 7, 2024 15:54 12s
Split odoc_driver into 3 sub-commands Build #2496: Pull request #1237 opened by gpetiot
November 7, 2024 15:54 6m 19s gpetiot:split-driver-cmd
gpetiot:split-driver-cmd
November 7, 2024 15:54 6m 19s
Represent sidebar TOC as a Tree Check Changelog #847: Pull request #1232 synchronize by panglesd
November 7, 2024 14:09 16s gpetiot:toc-tree
gpetiot:toc-tree
November 7, 2024 14:09 16s
Represent sidebar TOC as a Tree Build #2495: Pull request #1232 synchronize by panglesd
November 7, 2024 14:09 6m 25s gpetiot:toc-tree
gpetiot:toc-tree
November 7, 2024 14:09 6m 25s
Driver: New hierarchy Check Changelog #846: Pull request #1236 labeled by jonludlam
November 6, 2024 17:20 16s panglesd:new-hierarchy-in-driver-clean
panglesd:new-hierarchy-in-driver-clean
November 6, 2024 17:20 16s
Driver: New hierarchy Check Changelog #845: Pull request #1236 opened by panglesd
November 6, 2024 14:49 17s panglesd:new-hierarchy-in-driver-clean
panglesd:new-hierarchy-in-driver-clean
November 6, 2024 14:49 17s
Driver: New hierarchy Build #2494: Pull request #1236 opened by panglesd
November 6, 2024 14:49 6m 18s panglesd:new-hierarchy-in-driver-clean
panglesd:new-hierarchy-in-driver-clean
November 6, 2024 14:49 6m 18s
Allow more hierarchy to be compatible with -L and -P. Check Changelog #844: Pull request #1233 synchronize by panglesd
November 6, 2024 08:27 14s panglesd:allow-more-hierarchies
panglesd:allow-more-hierarchies
November 6, 2024 08:27 14s
Allow more hierarchy to be compatible with -L and -P. Build #2493: Pull request #1233 synchronize by panglesd
November 6, 2024 08:27 6m 16s panglesd:allow-more-hierarchies
panglesd:allow-more-hierarchies
November 6, 2024 08:27 6m 16s
Driver: uniformize names for _odoc dir Build #2492: Commit 3addbf9 pushed by jonludlam
November 5, 2024 22:30 6m 2s master
master
November 5, 2024 22:30 6m 2s
Driver: uniformize names for directories Check Changelog #843: Pull request #1235 labeled by panglesd
November 5, 2024 17:50 16s panglesd:clean-driver-dir-name
panglesd:clean-driver-dir-name
November 5, 2024 17:50 16s
Driver: uniformize names for directories Check Changelog #842: Pull request #1235 opened by panglesd
November 5, 2024 17:30 16s panglesd:clean-driver-dir-name
panglesd:clean-driver-dir-name
November 5, 2024 17:30 16s
Driver: uniformize names for directories Build #2491: Pull request #1235 opened by panglesd
November 5, 2024 17:30 6m 18s panglesd:clean-driver-dir-name
panglesd:clean-driver-dir-name
November 5, 2024 17:30 6m 18s
Represent sidebar TOC as a Tree Build #2490: Pull request #1232 synchronize by gpetiot
November 5, 2024 16:10 6m 19s gpetiot:toc-tree
gpetiot:toc-tree
November 5, 2024 16:10 6m 19s
Represent sidebar TOC as a Tree Check Changelog #841: Pull request #1232 synchronize by gpetiot
November 5, 2024 16:10 18s gpetiot:toc-tree
gpetiot:toc-tree
November 5, 2024 16:10 18s
Standalone markdown support Check Changelog #840: Pull request #1234 synchronize by jonludlam
November 5, 2024 15:13 16s jonludlam:markdown
jonludlam:markdown
November 5, 2024 15:13 16s
Standalone markdown support Build #2489: Pull request #1234 synchronize by jonludlam
November 5, 2024 15:13 6m 35s jonludlam:markdown
jonludlam:markdown
November 5, 2024 15:13 6m 35s