Skip to content

Actions: ocaml/odoc

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
195 workflow run results
195 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add changelog check Build #1564: Commit b8e4d23 pushed by panglesd
October 16, 2023 11:10 14m 50s master
master
October 16, 2023 11:10 14m 50s
Print 'private' keyword for private type extensions Build #1563: Pull request #1019 opened by gpetiot
October 13, 2023 03:49 16m 12s fix-1017
fix-1017
October 13, 2023 03:49 16m 12s
Update URLs in opam files Build #1561: Pull request #1016 opened by Julow
October 11, 2023 08:40 13m 14s Julow:updt-urls-230
Julow:updt-urls-230
October 11, 2023 08:40 13m 14s
Fix references to extension declarations Build #1560: Pull request #949 synchronize by gpetiot
October 10, 2023 23:14 13m 52s fix-932
fix-932
October 10, 2023 23:14 13m 52s
Micro-optimize Ident.compare Build #1559: Pull request #1015 opened by Julow
October 9, 2023 16:07 24m 10s Julow:micro-benchmarks-ident-compare
Julow:micro-benchmarks-ident-compare
October 9, 2023 16:07 24m 10s
Set Component.Delayed.eager to true Build #1558: Pull request #1014 synchronize by Julow
October 9, 2023 16:00 10m 26s Julow:eager-subst
Julow:eager-subst
October 9, 2023 16:00 10m 26s
Merge pull request #1012 from Julow/benchmarks-longest Build #1557: Commit 9e32d6e pushed by Julow
October 9, 2023 15:41 15m 9s master
master
October 9, 2023 15:41 15m 9s
Set Component.Delayed.eager to true Build #1556: Pull request #1014 synchronize by Julow
October 9, 2023 15:26 15m 5s Julow:eager-subst
Julow:eager-subst
October 9, 2023 15:26 15m 5s
Set Component.Delayed.eager to true Build #1555: Pull request #1014 opened by Julow
October 9, 2023 14:33 13m 30s Julow:eager-subst
Julow:eager-subst
October 9, 2023 14:33 13m 30s
Improvements to benchmarks and profiling Build #1554: Pull request #1012 opened by Julow
October 6, 2023 09:39 15m 16s Julow:benchmarks-longest
Julow:benchmarks-longest
October 6, 2023 09:39 15m 16s
Merge pull request #978 from Julow/oci-bench Build #1553: Commit da24899 pushed by Julow
October 2, 2023 13:20 14m 23s master
master
October 2, 2023 13:20 14m 23s
driver: Record execution time of every commands Build #1552: Pull request #978 synchronize by Julow
October 2, 2023 07:55 14m 12s Julow:oci-bench
Julow:oci-bench
October 2, 2023 07:55 14m 12s
Support for search in odoc Build #1551: Pull request #972 synchronize by EmileTrotignon
September 29, 2023 14:06 14m 44s panglesd:search-bar2
panglesd:search-bar2
September 29, 2023 14:06 14m 44s
Collect occurrences information Build #1550: Pull request #976 synchronize by panglesd
September 29, 2023 13:59 28m 30s panglesd:occurrences-in-odoc
panglesd:occurrences-in-odoc
September 29, 2023 13:59 28m 30s
Move the sidebar to be stuck to left of the content Build #1549: Pull request #999 synchronize by EmileTrotignon
September 29, 2023 13:48 25m 47s EmileTrotignon:sidebar-middle
EmileTrotignon:sidebar-middle
September 29, 2023 13:48 25m 47s
Support for search in odoc Build #1548: Pull request #972 synchronize by panglesd
September 29, 2023 13:27 24m 45s panglesd:search-bar2
panglesd:search-bar2
September 29, 2023 13:27 24m 45s
Asset references Build #1547: Pull request #1002 synchronize by panglesd
September 29, 2023 13:27 24m 42s panglesd:asset-references
panglesd:asset-references
September 29, 2023 13:27 24m 42s
driver: Record execution time of every commands Build #1546: Pull request #978 synchronize by Julow
September 29, 2023 12:52 14m 44s Julow:oci-bench
Julow:oci-bench
September 29, 2023 12:52 14m 44s
driver: Record execution time of every commands Build #1545: Pull request #978 synchronize by Julow
September 29, 2023 12:44 16m 17s Julow:oci-bench
Julow:oci-bench
September 29, 2023 12:44 16m 17s
Support for search in odoc Build #1544: Pull request #972 synchronize by panglesd
September 29, 2023 12:41 15m 21s panglesd:search-bar2
panglesd:search-bar2
September 29, 2023 12:41 15m 21s
driver: Record execution time of every commands Build #1543: Pull request #978 synchronize by Julow
September 29, 2023 12:29 15m 27s Julow:oci-bench
Julow:oci-bench
September 29, 2023 12:29 15m 27s
Fix odoc-parser opam file Build #1542: Commit 5b0b056 pushed by jonludlam
September 29, 2023 12:14 15m 5s v2.3
v2.3
September 29, 2023 12:14 15m 5s
Build Build #1541: by jonludlam
September 29, 2023 12:14 15m 13s v2.3.0
v2.3.0
September 29, 2023 12:14 15m 13s
Subst odoc version in css file Build #1540: Commit 962ff6c pushed by jonludlam
September 29, 2023 11:53 14m 19s v2.3.0
v2.3.0
September 29, 2023 11:53 14m 19s
Subst odoc version in css file Build #1539: Commit 962ff6c pushed by jonludlam
September 29, 2023 11:44 11m 13s v2.3
v2.3
September 29, 2023 11:44 11m 13s