Skip to content

Actions: ocaml/odoc

Actions

Check Changelog

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
changelog.yml
1,036 workflow runs
1,036 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add missing parentheses around identifier 'let*' Check Changelog #1041: Pull request #1268 synchronize by Julow
December 20, 2024 15:38 13s Julow:parenthesize-letop
Julow:parenthesize-letop
December 20, 2024 15:38 13s
Add missing parentheses around identifier 'let*' Check Changelog #1040: Pull request #1268 opened by Julow
December 20, 2024 15:35 16s Julow:parenthesize-letop
Julow:parenthesize-letop
December 20, 2024 15:35 16s
CSS tweaks for the sidebar and source code page Check Changelog #1039: Pull request #1267 opened by Julow
December 18, 2024 17:20 14s Julow:css-tweaks
Julow:css-tweaks
December 18, 2024 17:20 14s
Further voodoo Check Changelog #1038: Pull request #1252 synchronize by jonludlam
December 18, 2024 14:27 14s jonludlam:further-voodoo
jonludlam:further-voodoo
December 18, 2024 14:27 14s
Driver: reenable non-selected landing pages in remap mode Check Changelog #1037: Pull request #1266 synchronize by jonludlam
December 16, 2024 10:05 12s jonludlam:more-remap-fixes
jonludlam:more-remap-fixes
December 16, 2024 10:05 12s
Driver: reenable non-selected landing pages in remap mode Check Changelog #1036: Pull request #1266 labeled by jonludlam
December 16, 2024 10:05 11s jonludlam:more-remap-fixes
jonludlam:more-remap-fixes
December 16, 2024 10:05 11s
Driver: reenable non-selected landing pages in remap mode Check Changelog #1035: Pull request #1266 opened by jonludlam
December 16, 2024 10:04 15s jonludlam:more-remap-fixes
jonludlam:more-remap-fixes
December 16, 2024 10:04 15s
Remap mode fixes Check Changelog #1034: Pull request #1265 labeled by jonludlam
December 15, 2024 16:55 12s jonludlam:remap-mode-fixes
jonludlam:remap-mode-fixes
December 15, 2024 16:55 12s
Remap mode fixes Check Changelog #1033: Pull request #1265 opened by jonludlam
December 15, 2024 16:54 12s jonludlam:remap-mode-fixes
jonludlam:remap-mode-fixes
December 15, 2024 16:54 12s
Further voodoo Check Changelog #1032: Pull request #1252 synchronize by jonludlam
December 14, 2024 14:53 12s jonludlam:further-voodoo
jonludlam:further-voodoo
December 14, 2024 14:53 12s
Merge Sherlodoc Check Changelog #1031: Pull request #1263 synchronize by Julow
December 13, 2024 17:53 12s Julow:merge-sherlodoc
Julow:merge-sherlodoc
December 13, 2024 17:53 12s
Merge Sherlodoc Check Changelog #1030: Pull request #1263 synchronize by Julow
December 13, 2024 17:48 14s Julow:merge-sherlodoc
Julow:merge-sherlodoc
December 13, 2024 17:48 14s
Merge Sherlodoc Check Changelog #1029: Pull request #1263 synchronize by Julow
December 13, 2024 17:38 17s Julow:merge-sherlodoc
Julow:merge-sherlodoc
December 13, 2024 17:38 17s
Merge Sherlodoc Check Changelog #1028: Pull request #1263 synchronize by Julow
December 13, 2024 17:31 12s Julow:merge-sherlodoc
Julow:merge-sherlodoc
December 13, 2024 17:31 12s
Merge Sherlodoc Check Changelog #1027: Pull request #1263 synchronize by Julow
December 13, 2024 17:25 13s Julow:merge-sherlodoc
Julow:merge-sherlodoc
December 13, 2024 17:25 13s
Add odoc 3 features in odoc's doc Check Changelog #1026: Pull request #1264 synchronize by panglesd
December 13, 2024 16:53 14s panglesd:odoc-features-in-odoc
panglesd:odoc-features-in-odoc
December 13, 2024 16:53 14s
Merge Sherlodoc Check Changelog #1025: Pull request #1263 synchronize by Julow
December 13, 2024 16:50 13s Julow:merge-sherlodoc
Julow:merge-sherlodoc
December 13, 2024 16:50 13s
Merge Sherlodoc Check Changelog #1024: Pull request #1263 synchronize by Julow
December 13, 2024 16:46 13s Julow:merge-sherlodoc
Julow:merge-sherlodoc
December 13, 2024 16:46 13s
Improve driver experience Check Changelog #1023: Pull request #1262 synchronize by panglesd
December 13, 2024 16:44 11s panglesd:driver-output
panglesd:driver-output
December 13, 2024 16:44 11s
Merge Sherlodoc Check Changelog #1022: Pull request #1263 labeled by Julow
December 13, 2024 16:28 18s Julow:merge-sherlodoc
Julow:merge-sherlodoc
December 13, 2024 16:28 18s
Merge Sherlodoc Check Changelog #1021: Pull request #1263 synchronize by Julow
December 13, 2024 16:27 18s Julow:merge-sherlodoc
Julow:merge-sherlodoc
December 13, 2024 16:27 18s
Add odoc 3 features in odoc's doc Check Changelog #1020: Pull request #1264 labeled by panglesd
December 13, 2024 16:12 18s panglesd:odoc-features-in-odoc
panglesd:odoc-features-in-odoc
December 13, 2024 16:12 18s
Improve driver experience Check Changelog #1019: Pull request #1262 synchronize by panglesd
December 13, 2024 15:57 17s panglesd:driver-output
panglesd:driver-output
December 13, 2024 15:57 17s
Add odoc 3 features in odoc's doc Check Changelog #1018: Pull request #1264 opened by panglesd
December 13, 2024 15:36 14s panglesd:odoc-features-in-odoc
panglesd:odoc-features-in-odoc
December 13, 2024 15:36 14s
Merge Sherlodoc Check Changelog #1017: Pull request #1263 synchronize by Julow
December 13, 2024 14:57 16s Julow:merge-sherlodoc
Julow:merge-sherlodoc
December 13, 2024 14:57 16s