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

Support for search in odoc Build #1515: Pull request #972 synchronize by panglesd
September 27, 2023 06:32 15m 25s panglesd:search-bar2
panglesd:search-bar2
September 27, 2023 06:32 15m 25s
Fix references to extension declarations Build #1514: Pull request #949 synchronize by gpetiot
September 27, 2023 06:24 20m 4s fix-932
fix-932
September 27, 2023 06:24 20m 4s
Fix references to extension declarations Build #1513: Pull request #949 synchronize by gpetiot
September 27, 2023 05:16 9m 56s fix-932
fix-932
September 27, 2023 05:16 9m 56s
Fix references to extension declarations Build #1512: Pull request #949 synchronize by gpetiot
September 27, 2023 05:06 18m 14s fix-932
fix-932
September 27, 2023 05:06 18m 14s
Support for search in odoc Build #1511: Pull request #972 synchronize by panglesd
September 26, 2023 16:06 21m 10s panglesd:search-bar2
panglesd:search-bar2
September 26, 2023 16:06 21m 10s
driver: Record execution time of every commands Build #1510: Pull request #978 synchronize by Julow
September 26, 2023 15:08 28m 59s Julow:oci-bench
Julow:oci-bench
September 26, 2023 15:08 28m 59s
Move the sidebar to be stuck to left of the content Build #1509: Pull request #999 synchronize by EmileTrotignon
September 26, 2023 10:18 18m 18s EmileTrotignon:sidebar-middle
EmileTrotignon:sidebar-middle
September 26, 2023 10:18 18m 18s
Upgrade OCamlformat to 0.26.1 Build #1508: Pull request #997 synchronize by Julow
September 26, 2023 08:33 20m 49s Julow:preview-ocamlformat-0.26.1
Julow:preview-ocamlformat-0.26.1
September 26, 2023 08:33 20m 49s
Upgrade OCamlformat to 0.26.1 Build #1507: Pull request #997 synchronize by Julow
September 26, 2023 08:31 27m 26s Julow:preview-ocamlformat-0.26.1
Julow:preview-ocamlformat-0.26.1
September 26, 2023 08:31 27m 26s
Medias in odoc Build #1506: Pull request #1005 synchronize by panglesd
September 26, 2023 08:17 17m 50s panglesd:medias-in-odoc
panglesd:medias-in-odoc
September 26, 2023 08:17 17m 50s
Medias in odoc Build #1505: Pull request #1005 opened by panglesd
September 26, 2023 07:21 21m 26s panglesd:medias-in-odoc
panglesd:medias-in-odoc
September 26, 2023 07:21 21m 26s
Asset references Build #1504: Pull request #1002 synchronize by panglesd
September 21, 2023 13:25 13m 48s panglesd:asset-references
panglesd:asset-references
September 21, 2023 13:25 13m 48s
Creates a dedicated rule to generate support files Build #1503: Pull request #1000 synchronize by EmileTrotignon
September 21, 2023 09:57 24m 47s EmileTrotignon:support-files-rule
EmileTrotignon:support-files-rule
September 21, 2023 09:57 24m 47s
Creates a dedicated rule to generate support files Build #1502: Pull request #1000 synchronize by EmileTrotignon
September 21, 2023 09:53 28m 9s EmileTrotignon:support-files-rule
EmileTrotignon:support-files-rule
September 21, 2023 09:53 28m 9s
Asset references Build #1501: Pull request #1002 opened by panglesd
September 20, 2023 18:58 29m 33s panglesd:asset-references
panglesd:asset-references
September 20, 2023 18:58 29m 33s
Move the sidebar to be stuck to left of the content Build #1500: Pull request #999 synchronize by EmileTrotignon
September 19, 2023 12:10 20m 33s EmileTrotignon:sidebar-middle
EmileTrotignon:sidebar-middle
September 19, 2023 12:10 20m 33s
Apply suggestions from PR review Build #1499: Commit 5ac1ffc pushed by jonludlam
September 18, 2023 11:16 15m 33s master
master
September 18, 2023 11:16 15m 33s
Update tests Build #1498: Commit 86f33b1 pushed by jonludlam
September 18, 2023 11:13 15m 50s master
master
September 18, 2023 11:13 15m 50s
Stable anchors in links to implementation. Build #1497: Pull request #993 synchronize by jonludlam
September 15, 2023 15:00 16m 20s panglesd:semantic-anchors
panglesd:semantic-anchors
September 15, 2023 15:00 16m 20s
Stable anchors in links to implementation. Build #1496: Pull request #993 synchronize by jonludlam
September 15, 2023 13:27 16m 38s panglesd:semantic-anchors
panglesd:semantic-anchors
September 15, 2023 13:27 16m 38s
Creates a dedicated rule to generate support files Build #1495: Pull request #1000 opened by EmileTrotignon
September 15, 2023 13:19 15m 47s EmileTrotignon:support-files-rule
EmileTrotignon:support-files-rule
September 15, 2023 13:19 15m 47s
Stable anchors in links to implementation. Build #1494: Pull request #993 synchronize by panglesd
September 15, 2023 13:08 14m 2s panglesd:semantic-anchors
panglesd:semantic-anchors
September 15, 2023 13:08 14m 2s
Stable anchors in links to implementation. Build #1493: Pull request #993 synchronize by panglesd
September 15, 2023 12:24 15m 46s panglesd:semantic-anchors
panglesd:semantic-anchors
September 15, 2023 12:24 15m 46s
Move the sidebar to be stuck to left of the content Build #1492: Pull request #999 opened by EmileTrotignon
September 15, 2023 10:00 15m 47s EmileTrotignon:sidebar-middle
EmileTrotignon:sidebar-middle
September 15, 2023 10:00 15m 47s
Stable anchors in links to implementation. Build #1491: Pull request #993 synchronize by panglesd
September 15, 2023 09:25 12m 56s panglesd:semantic-anchors
panglesd:semantic-anchors
September 15, 2023 09:25 12m 56s