Skip to content

Actions: ocaml/odoc

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,257 workflow runs
2,257 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Subst odoc version in css file Build #1538: Commit 24bad77 pushed by jonludlam
September 29, 2023 11:38 13m 31s v2.3
v2.3
September 29, 2023 11:38 13m 31s
Formatting Build #1537: Commit 68a4d5b pushed by jonludlam
September 29, 2023 11:10 14m 56s master
master
September 29, 2023 11:10 14m 56s
Asset references Build #1536: Pull request #1002 synchronize by panglesd
September 29, 2023 10:34 14m 46s panglesd:asset-references
panglesd:asset-references
September 29, 2023 10:34 14m 46s
Support for search in odoc Build #1535: Pull request #972 synchronize by panglesd
September 29, 2023 06:32 15m 27s panglesd:search-bar2
panglesd:search-bar2
September 29, 2023 06:32 15m 27s
ProTip! You can narrow down the results and go further in time using created:<2023-09-29 or the other filters available.