Skip to content

Actions: ocaml/odoc

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Support for search in odoc Build #1534: Pull request #972 synchronize by panglesd
September 28, 2023 15:20 45m 39s panglesd:search-bar2
panglesd:search-bar2
September 28, 2023 15:20 45m 39s
Medias in odoc Build #1533: Pull request #1005 synchronize by panglesd
September 28, 2023 15:08 53m 1s panglesd:medias-in-odoc
panglesd:medias-in-odoc
September 28, 2023 15:08 53m 1s
Medias in odoc Build #1532: Pull request #1005 synchronize by panglesd
September 28, 2023 15:08 6h 19m 0s panglesd:medias-in-odoc
panglesd:medias-in-odoc
September 28, 2023 15:08 6h 19m 0s
Medias in odoc Build #1531: Pull request #1005 synchronize by panglesd
September 28, 2023 14:48 6h 2m 38s panglesd:medias-in-odoc
panglesd:medias-in-odoc
September 28, 2023 14:48 6h 2m 38s
Medias in odoc Build #1530: Pull request #1005 synchronize by panglesd
September 28, 2023 14:39 6h 9m 48s panglesd:medias-in-odoc
panglesd:medias-in-odoc
September 28, 2023 14:39 6h 9m 48s
Remove unconditional eprintfs and fix a broken reference Build #1529: Pull request #1010 synchronize by jonludlam
September 28, 2023 12:21 15m 45s jonludlam:minor-fixes2
jonludlam:minor-fixes2
September 28, 2023 12:21 15m 45s
ProTip! You can narrow down the results and go further in time using created:<2023-09-28 or the other filters available.