Skip to content

Actions: ocaml/odoc

Check Changelog

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
751 workflow runs
751 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Specify children order in frontmatter
Check Changelog #756: Pull request #1193 synchronize by panglesd
October 3, 2024 10:15 16s panglesd:page-order-new-take
October 3, 2024 10:15 16s
Specify children order in frontmatter
Check Changelog #755: Pull request #1193 synchronize by panglesd
October 3, 2024 09:55 16s panglesd:page-order-new-take
October 3, 2024 09:55 16s
Specify children order in frontmatter
Check Changelog #754: Pull request #1193 synchronize by panglesd
October 3, 2024 08:46 16s panglesd:page-order-new-take
October 3, 2024 08:46 16s
Specify children order in frontmatter
Check Changelog #753: Pull request #1193 synchronize by panglesd
October 3, 2024 08:37 16s panglesd:page-order-new-take
October 3, 2024 08:37 16s
Specify children order in frontmatter
Check Changelog #752: Pull request #1193 synchronize by panglesd
October 3, 2024 07:46 19s panglesd:page-order-new-take
October 3, 2024 07:46 19s
Specify children order in frontmatter
Check Changelog #751: Pull request #1193 synchronize by panglesd
October 2, 2024 15:15 22s panglesd:page-order-new-take
October 2, 2024 15:15 22s
Specify children order in frontmatter
Check Changelog #750: Pull request #1193 synchronize by panglesd
October 2, 2024 14:19 12s panglesd:page-order-new-take
October 2, 2024 14:19 12s
Specify children order in frontmatter
Check Changelog #749: Pull request #1193 synchronize by panglesd
October 2, 2024 13:43 18s panglesd:page-order-new-take
October 2, 2024 13:43 18s
Specify children order in frontmatter
Check Changelog #748: Pull request #1193 synchronize by panglesd
October 2, 2024 10:11 17s panglesd:page-order-new-take
October 2, 2024 10:11 17s
Specify children order in frontmatter
Check Changelog #747: Pull request #1193 synchronize by panglesd
October 2, 2024 07:35 16s panglesd:page-order-new-take
October 2, 2024 07:35 16s
Revert "driver depend on sherlodoc"
Check Changelog #746: Pull request #1204 labeled by Julow
October 1, 2024 15:39 14s Julow:revert-1197
October 1, 2024 15:39 14s
Revert "driver depend on sherlodoc"
Check Changelog #745: Pull request #1204 opened by Julow
October 1, 2024 15:38 17s Julow:revert-1197
October 1, 2024 15:38 17s
CI: Run the driver
Check Changelog #744: Pull request #1203 labeled by Julow
September 30, 2024 15:55 12s Julow:ci-driver
September 30, 2024 15:55 12s
CI: Run the driver
Check Changelog #743: Pull request #1203 opened by Julow
September 30, 2024 15:55 14s Julow:ci-driver
September 30, 2024 15:55 14s
Driver: Read a config file to apply the right -P and -L.
Check Changelog #742: Pull request #1194 synchronize by panglesd
September 30, 2024 15:39 12s panglesd:global-config-file
September 30, 2024 15:39 12s
Driver: Read a config file to apply the right -P and -L.
Check Changelog #741: Pull request #1194 labeled by panglesd
September 30, 2024 15:38 17s panglesd:global-config-file
September 30, 2024 15:38 17s
Driver: Read a config file to apply the right -P and -L.
Check Changelog #740: Pull request #1194 synchronize by panglesd
September 30, 2024 15:34 16s panglesd:global-config-file
September 30, 2024 15:34 16s
Compat with OCaml 5.3.0~alpha1
Check Changelog #739: Pull request #1202 labeled by Julow
September 30, 2024 12:49 16s Julow:compat-53-alpha1
September 30, 2024 12:49 16s
Compat with OCaml 5.3.0~alpha1
Check Changelog #738: Pull request #1202 opened by Julow
September 30, 2024 12:46 12s Julow:compat-53-alpha1
September 30, 2024 12:46 12s
opam: Add strict constraints on OCaml < 5.3
Check Changelog #737: Pull request #1200 labeled by Julow
September 30, 2024 12:30 16s Julow:ocaml53-strict-constraints
September 30, 2024 12:30 16s
opam: Add strict constraints on OCaml < 5.3
Check Changelog #736: Pull request #1200 opened by Julow
September 30, 2024 12:29 13s Julow:ocaml53-strict-constraints
September 30, 2024 12:29 13s
The driver depends on sherlodoc
Check Changelog #735: Pull request #1197 labeled by EmileTrotignon
September 26, 2024 12:32 13s EmileTrotignon:sherlodoc-driver-dep
September 26, 2024 12:32 13s
The driver depends on sherlodoc
Check Changelog #734: Pull request #1197 opened by EmileTrotignon
September 25, 2024 14:05 17s EmileTrotignon:sherlodoc-driver-dep
September 25, 2024 14:05 17s
Specify breadcrumbs titles
Check Changelog #733: Pull request #1196 opened by Julow
September 11, 2024 15:41 12s Julow:page_short_titles
September 11, 2024 15:41 12s
Driver: Read a config file to apply the right -P and -L.
Check Changelog #732: Pull request #1194 synchronize by panglesd
September 11, 2024 14:48 17s panglesd:global-config-file
September 11, 2024 14:48 17s