Skip to content

Actions: ocaml/odoc

Actions

Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
1,234 workflow runs
1,234 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add missing parentheses around identifier 'let*' Build #2708: Pull request #1268 synchronize by Julow
December 20, 2024 15:38 6m 42s Julow:parenthesize-letop
Julow:parenthesize-letop
December 20, 2024 15:38 6m 42s
Add missing parentheses around identifier 'let*' Build #2707: Pull request #1268 opened by Julow
December 20, 2024 15:35 6m 47s Julow:parenthesize-letop
Julow:parenthesize-letop
December 20, 2024 15:35 6m 47s
css: Tweak number line color in source code pages Build #2706: Commit 9df611d pushed by jonludlam
December 18, 2024 18:19 6m 28s master
master
December 18, 2024 18:19 6m 28s
CSS tweaks for the sidebar and source code page Build #2705: Pull request #1267 opened by Julow
December 18, 2024 17:20 6m 13s Julow:css-tweaks
Julow:css-tweaks
December 18, 2024 17:20 6m 13s
Driver: Fix finding libraries in voodoo mode Build #2704: Commit 147a8f1 pushed by jonludlam
December 18, 2024 15:37 5m 44s master
master
December 18, 2024 15:37 5m 44s
Further voodoo Build #2703: Pull request #1252 synchronize by jonludlam
December 18, 2024 14:27 6m 33s jonludlam:further-voodoo
jonludlam:further-voodoo
December 18, 2024 14:27 6m 33s
Driver: reenable non-selected landing pages in remap mode Build #2702: Commit 70fcf0c pushed by jonludlam
December 16, 2024 10:44 9m 39s master
master
December 16, 2024 10:44 9m 39s
Driver: reenable non-selected landing pages in remap mode Build #2701: Pull request #1266 synchronize by jonludlam
December 16, 2024 10:05 12m 28s jonludlam:more-remap-fixes
jonludlam:more-remap-fixes
December 16, 2024 10:05 12m 28s
Driver: reenable non-selected landing pages in remap mode Build #2700: Pull request #1266 opened by jonludlam
December 16, 2024 10:04 10m 7s jonludlam:more-remap-fixes
jonludlam:more-remap-fixes
December 16, 2024 10:04 10m 7s
Formatting Build #2699: Commit 785294a pushed by jonludlam
December 15, 2024 17:07 5m 39s master
master
December 15, 2024 17:07 5m 39s
Remap mode fixes Build #2698: Pull request #1265 opened by jonludlam
December 15, 2024 16:54 5m 26s jonludlam:remap-mode-fixes
jonludlam:remap-mode-fixes
December 15, 2024 16:54 5m 26s
Further voodoo Build #2697: Pull request #1252 synchronize by jonludlam
December 14, 2024 14:53 5m 42s jonludlam:further-voodoo
jonludlam:further-voodoo
December 14, 2024 14:53 5m 42s
Merge pull request #1263 from Julow/merge-sherlodoc Build #2696: Commit 953704c pushed by panglesd
December 13, 2024 17:59 5m 38s master
master
December 13, 2024 17:59 5m 38s
Merge Sherlodoc Build #2695: Pull request #1263 synchronize by Julow
December 13, 2024 17:53 5m 37s Julow:merge-sherlodoc
Julow:merge-sherlodoc
December 13, 2024 17:53 5m 37s
Merge Sherlodoc Build #2694: Pull request #1263 synchronize by Julow
December 13, 2024 17:48 8m 29s Julow:merge-sherlodoc
Julow:merge-sherlodoc
December 13, 2024 17:48 8m 29s
Merge Sherlodoc Build #2693: Pull request #1263 synchronize by Julow
December 13, 2024 17:38 5m 12s Julow:merge-sherlodoc
Julow:merge-sherlodoc
December 13, 2024 17:38 5m 12s
Merge Sherlodoc Build #2692: Pull request #1263 synchronize by Julow
December 13, 2024 17:31 5m 36s Julow:merge-sherlodoc
Julow:merge-sherlodoc
December 13, 2024 17:31 5m 36s
Merge Sherlodoc Build #2691: Pull request #1263 synchronize by Julow
December 13, 2024 17:25 5m 7s Julow:merge-sherlodoc
Julow:merge-sherlodoc
December 13, 2024 17:25 5m 7s
Doc: add odoc song to index page Build #2690: Commit fb9200a pushed by panglesd
December 13, 2024 17:02 5m 10s master
master
December 13, 2024 17:02 5m 10s
Add odoc 3 features in odoc's doc Build #2689: Pull request #1264 synchronize by panglesd
December 13, 2024 16:53 5m 30s panglesd:odoc-features-in-odoc
panglesd:odoc-features-in-odoc
December 13, 2024 16:53 5m 30s
Merge Sherlodoc Build #2688: Pull request #1263 synchronize by Julow
December 13, 2024 16:50 3m 23s Julow:merge-sherlodoc
Julow:merge-sherlodoc
December 13, 2024 16:50 3m 23s
Driver: fix double new lines Build #2687: Commit 6be8c0a pushed by panglesd
December 13, 2024 16:49 4m 54s master
master
December 13, 2024 16:49 4m 54s
Merge Sherlodoc Build #2686: Pull request #1263 synchronize by Julow
December 13, 2024 16:46 1s Julow:merge-sherlodoc
Julow:merge-sherlodoc
December 13, 2024 16:46 1s
Improve driver experience Build #2685: Pull request #1262 synchronize by panglesd
December 13, 2024 16:44 4m 56s panglesd:driver-output
panglesd:driver-output
December 13, 2024 16:44 4m 56s
Merge Sherlodoc Build #2684: Pull request #1263 synchronize by Julow
December 13, 2024 16:27 5m 4s Julow:merge-sherlodoc
Julow:merge-sherlodoc
December 13, 2024 16:27 5m 4s