Skip to content

Actions: ocaml/odoc

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
1,236 workflow runs
1,236 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
"Global" Sidebar Build #2070: Pull request #1145 opened by panglesd
June 7, 2024 15:02 9m 49s panglesd:sidebar-proto
panglesd:sidebar-proto
June 7, 2024 15:02 9m 49s
"Global" Sidebar Check Changelog #442: Pull request #1145 opened by panglesd
June 7, 2024 15:02 14s panglesd:sidebar-proto
panglesd:sidebar-proto
June 7, 2024 15:02 14s
Parsing of path-references to pages and modules Check Changelog #441: Pull request #1142 synchronize by Julow
June 7, 2024 15:00 15s Julow:path_references
Julow:path_references
June 7, 2024 15:00 15s
Parsing of path-references to pages and modules Build #2069: Pull request #1142 synchronize by Julow
June 7, 2024 15:00 10m 31s Julow:path_references
Julow:path_references
June 7, 2024 15:00 10m 31s
Less gaps in css Check Changelog #440: Pull request #1143 opened by EmileTrotignon
June 7, 2024 14:52 17s EmileTrotignon:less-gaps
EmileTrotignon:less-gaps
June 7, 2024 14:52 17s
Less gaps in css Build #2068: Pull request #1143 opened by EmileTrotignon
June 7, 2024 14:52 9m 56s EmileTrotignon:less-gaps
EmileTrotignon:less-gaps
June 7, 2024 14:52 9m 56s
Remove unwanted or duplicate doc in expansions Check Changelog #439: Pull request #1133 synchronize by Julow
June 7, 2024 14:27 14s Julow:inline-include-dup-preamble
Julow:inline-include-dup-preamble
June 7, 2024 14:27 14s
Remove unwanted or duplicate doc in expansions Build #2067: Pull request #1133 synchronize by Julow
June 7, 2024 14:27 10m 4s Julow:inline-include-dup-preamble
Julow:inline-include-dup-preamble
June 7, 2024 14:27 10m 4s
Add a marshalled output for index generation Build #2066: Pull request #1084 synchronize by EmileTrotignon
June 7, 2024 14:19 10m 12s panglesd:search-index-buid-system-friendly
panglesd:search-index-buid-system-friendly
June 7, 2024 14:19 10m 12s
Add a marshalled output for index generation Check Changelog #438: Pull request #1084 synchronize by EmileTrotignon
June 7, 2024 14:19 18s panglesd:search-index-buid-system-friendly
panglesd:search-index-buid-system-friendly
June 7, 2024 14:19 18s
Parsing of path-references to pages and modules Check Changelog #437: Pull request #1142 opened by Julow
June 7, 2024 13:54 15s Julow:path_references
Julow:path_references
June 7, 2024 13:54 15s
Parsing of path-references to pages and modules Build #2065: Pull request #1142 opened by Julow
June 7, 2024 13:54 10m 15s Julow:path_references
Julow:path_references
June 7, 2024 13:54 10m 15s
Add a marshalled output for index generation Check Changelog #436: Pull request #1084 synchronize by EmileTrotignon
June 7, 2024 09:55 1m 20s panglesd:search-index-buid-system-friendly
panglesd:search-index-buid-system-friendly
June 7, 2024 09:55 1m 20s
Add a marshalled output for index generation Build #2064: Pull request #1084 synchronize by EmileTrotignon
June 7, 2024 09:55 11m 7s panglesd:search-index-buid-system-friendly
panglesd:search-index-buid-system-friendly
June 7, 2024 09:55 11m 7s
Add a marshalled output for index generation Check Changelog #435: Pull request #1084 synchronize by EmileTrotignon
June 6, 2024 15:20 13s panglesd:search-index-buid-system-friendly
panglesd:search-index-buid-system-friendly
June 6, 2024 15:20 13s
Add a marshalled output for index generation Build #2063: Pull request #1084 synchronize by EmileTrotignon
June 6, 2024 15:20 10m 34s panglesd:search-index-buid-system-friendly
panglesd:search-index-buid-system-friendly
June 6, 2024 15:20 10m 34s
Add a marshalled output for index generation Check Changelog #434: Pull request #1084 synchronize by EmileTrotignon
June 6, 2024 09:18 3m 11s panglesd:search-index-buid-system-friendly
panglesd:search-index-buid-system-friendly
June 6, 2024 09:18 3m 11s
Add a marshalled output for index generation Build #2062: Pull request #1084 synchronize by EmileTrotignon
June 6, 2024 09:18 11m 34s panglesd:search-index-buid-system-friendly
panglesd:search-index-buid-system-friendly
June 6, 2024 09:18 11m 34s
Add a marshalled output for index generation Check Changelog #433: Pull request #1084 synchronize by EmileTrotignon
June 5, 2024 15:44 14s panglesd:search-index-buid-system-friendly
panglesd:search-index-buid-system-friendly
June 5, 2024 15:44 14s
Add a marshalled output for index generation Build #2061: Pull request #1084 synchronize by EmileTrotignon
June 5, 2024 15:44 9m 58s panglesd:search-index-buid-system-friendly
panglesd:search-index-buid-system-friendly
June 5, 2024 15:44 9m 58s
Add a marshalled output for index generation Check Changelog #432: Pull request #1084 synchronize by EmileTrotignon
June 5, 2024 10:12 20s panglesd:search-index-buid-system-friendly
panglesd:search-index-buid-system-friendly
June 5, 2024 10:12 20s
Add a marshalled output for index generation Build #2060: Pull request #1084 synchronize by EmileTrotignon
June 5, 2024 10:12 10m 32s panglesd:search-index-buid-system-friendly
panglesd:search-index-buid-system-friendly
June 5, 2024 10:12 10m 32s
doc adjustement Build #2059: Commit 1ced6f2 pushed by jonludlam
June 5, 2024 09:55 9m 53s master
master
June 5, 2024 09:55 9m 53s
Odoc 3: CLI for -L and -P Check Changelog #431: Pull request #1132 synchronize by panglesd
June 5, 2024 07:29 14s panglesd:named-pkg-root
panglesd:named-pkg-root
June 5, 2024 07:29 14s
Odoc 3: CLI for -L and -P Build #2058: Pull request #1132 synchronize by panglesd
June 5, 2024 07:29 10m 6s panglesd:named-pkg-root
panglesd:named-pkg-root
June 5, 2024 07:29 10m 6s