Skip to content

Actions: ocaml/odoc

Actions

Check Changelog

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
changelog.yml
973 workflow runs
973 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add header field to the json output Check Changelog #1146: Pull request #1314 synchronize by panglesd
February 18, 2025 15:38 19s panglesd:header-in-json-output
panglesd:header-in-json-output
February 18, 2025 15:38 19s
Add header field to the json output Check Changelog #1145: Pull request #1314 opened by panglesd
February 18, 2025 15:37 21s panglesd:header-in-json-output
panglesd:header-in-json-output
February 18, 2025 15:37 21s
Add png, pdf and jpeg image support to the latex backend Check Changelog #1144: Pull request #1297 synchronize by panglesd
February 18, 2025 12:06 16s Octachron:image_support_for_latex
Octachron:image_support_for_latex
February 18, 2025 12:06 16s
Don't backtrace on invalid input in compile-deps Check Changelog #1143: Pull request #1313 synchronize by jonludlam
February 13, 2025 16:53 16s jonludlam:fix-983
jonludlam:fix-983
February 13, 2025 16:53 16s
Don't backtrace on invalid input in compile-deps Check Changelog #1142: Pull request #1313 synchronize by jonludlam
February 13, 2025 16:52 20s jonludlam:fix-983
jonludlam:fix-983
February 13, 2025 16:52 20s
Don't backtrace on invalid input in compile-deps Check Changelog #1141: Pull request #1313 opened by jonludlam
February 13, 2025 16:51 27s jonludlam:fix-983
jonludlam:fix-983
February 13, 2025 16:51 27s
Fix indentation bug with verbatim in tags Check Changelog #1140: Pull request #1312 synchronize by jonludlam
February 13, 2025 16:22 15s jonludlam:fix-1139
jonludlam:fix-1139
February 13, 2025 16:22 15s
Fix indentation bug with verbatim in tags Check Changelog #1139: Pull request #1312 opened by jonludlam
February 13, 2025 16:16 22s jonludlam:fix-1139
jonludlam:fix-1139
February 13, 2025 16:16 22s
Fix classify when there are archives sharing modules Check Changelog #1138: Pull request #1310 synchronize by jonludlam
February 13, 2025 15:29 30s jonludlam:fix-rdbg
jonludlam:fix-rdbg
February 13, 2025 15:29 30s
Driver: Check for missing/unknown opam packages Check Changelog #1137: Pull request #1311 synchronize by jonludlam
February 13, 2025 15:28 24s jonludlam:unknown-uninstalled-opam-packages
jonludlam:unknown-uninstalled-opam-packages
February 13, 2025 15:28 24s
Driver: Check for missing/unknown opam packages Check Changelog #1136: Pull request #1311 opened by jonludlam
February 13, 2025 15:07 27s jonludlam:unknown-uninstalled-opam-packages
jonludlam:unknown-uninstalled-opam-packages
February 13, 2025 15:07 27s
Fix classify when there are archives sharing modules Check Changelog #1135: Pull request #1310 opened by jonludlam
February 13, 2025 14:34 20s jonludlam:fix-rdbg
jonludlam:fix-rdbg
February 13, 2025 14:34 20s
Further fixes for virtual libraries Check Changelog #1134: Pull request #1309 synchronize by jonludlam
February 12, 2025 21:44 17s jonludlam:timmy-again
jonludlam:timmy-again
February 12, 2025 21:44 17s
Further fixes for virtual libraries Check Changelog #1133: Pull request #1309 opened by jonludlam
February 12, 2025 21:38 21s jonludlam:timmy-again
jonludlam:timmy-again
February 12, 2025 21:38 21s
Driver voodoo mode: generation of a status.json with a list of redirections Check Changelog #1132: Pull request #1307 synchronize by panglesd
February 12, 2025 17:26 19s panglesd:driver-redirections
panglesd:driver-redirections
February 12, 2025 17:26 19s
Driver voodoo mode: generation of a status.json with a list of redirections Check Changelog #1131: Pull request #1307 synchronize by panglesd
February 12, 2025 17:21 19s panglesd:driver-redirections
panglesd:driver-redirections
February 12, 2025 17:21 19s
Fix issue #610 - odoc html-fragment not producing headings correctly Check Changelog #1130: Pull request #1306 synchronize by jonludlam
February 12, 2025 12:45 19s jonludlam:fix-610
jonludlam:fix-610
February 12, 2025 12:45 19s
Driver voodoo mode: generation of a status.json with a list of redirections Check Changelog #1129: Pull request #1307 labeled by panglesd
February 10, 2025 11:57 16s panglesd:driver-redirections
panglesd:driver-redirections
February 10, 2025 11:57 16s
Use words instead of emojis Check Changelog #1128: Pull request #1308 synchronize by panglesd
February 10, 2025 11:34 20s panglesd:fix-emoji
panglesd:fix-emoji
February 10, 2025 11:34 20s
Use words instead of emojis Check Changelog #1127: Pull request #1308 labeled by panglesd
February 10, 2025 11:31 17s panglesd:fix-emoji
panglesd:fix-emoji
February 10, 2025 11:31 17s
Use words instead of emojis Check Changelog #1126: Pull request #1308 opened by panglesd
February 10, 2025 11:10 16s panglesd:fix-emoji
panglesd:fix-emoji
February 10, 2025 11:10 16s
Fix suppress_warnings parameter Check Changelog #1125: Pull request #1304 synchronize by jonludlam
February 10, 2025 09:48 16s jonludlam:fix-suppress_warnings
jonludlam:fix-suppress_warnings
February 10, 2025 09:48 16s
Driver voodoo mode: generation of a status.json with a list of redirections Check Changelog #1124: Pull request #1307 opened by panglesd
February 10, 2025 07:08 22s panglesd:driver-redirections
panglesd:driver-redirections
February 10, 2025 07:08 22s
Fix suppress_warnings parameter Check Changelog #1123: Pull request #1304 synchronize by jonludlam
February 7, 2025 11:35 16s jonludlam:fix-suppress_warnings
jonludlam:fix-suppress_warnings
February 7, 2025 11:35 16s
Fix issue #610 - odoc html-fragment not producing headings correctly Check Changelog #1122: Pull request #1306 opened by jonludlam
February 7, 2025 11:31 17s jonludlam:fix-610
jonludlam:fix-610
February 7, 2025 11:31 17s