Skip to content

Actions: Julow/odoc

Actions

Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
205 workflow runs
205 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update .git-blame-ignore-revs Build #633: Commit d87a81d pushed by Julow
October 30, 2024 17:40 10m 50s preview-ocamlformat-0.27.0-preview1
preview-ocamlformat-0.27.0-preview1
October 30, 2024 17:40 10m 50s
Compat with OCaml 5.3.0~alpha1 Build #632: Commit 58f0579 pushed by Julow
October 22, 2024 08:08 10m 44s 24-compat-52a1
24-compat-52a1
October 22, 2024 08:08 10m 44s
opam: Update lower bounds on yojson Build #631: Commit 3a92406 pushed by Julow
October 10, 2024 10:20 5m 55s lower-bounds-yojson210
lower-bounds-yojson210
October 10, 2024 10:20 5m 55s
Reduce lower bounds on Dune Build #630: Commit 2ca24bd pushed by Julow
October 10, 2024 09:57 6m 18s lower-bounds-test_config_file
lower-bounds-test_config_file
October 10, 2024 09:57 6m 18s
Driver depends on sherlodoc Build #629: Commit f580b0f pushed by Julow
October 9, 2024 15:21 7m 8s module-sherlodoc
module-sherlodoc
October 9, 2024 15:21 7m 8s
Run the driver in CI Build #628: Commit 1a48b36 pushed by Julow
October 9, 2024 14:43 6m 26s module-sherlodoc
module-sherlodoc
October 9, 2024 14:43 6m 26s
Update sherlodoc Build #627: Commit 6d7ee97 pushed by Julow
October 7, 2024 15:02 8m 30s module-sherlodoc
module-sherlodoc
October 7, 2024 15:02 8m 30s
Module sherlodoc Build #626: Pull request #6 synchronize by Julow
October 7, 2024 15:00 6m 25s module-sherlodoc
module-sherlodoc
October 7, 2024 15:00 6m 25s
Update sherlodoc Build #625: Commit 4a3b8b8 pushed by Julow
October 7, 2024 15:00 6m 23s module-sherlodoc
module-sherlodoc
October 7, 2024 15:00 6m 23s
Module sherlodoc Build #624: Pull request #6 synchronize by Julow
October 7, 2024 14:41 5m 57s module-sherlodoc
module-sherlodoc
October 7, 2024 14:41 5m 57s
f Build #623: Commit d41ea40 pushed by Julow
October 7, 2024 14:41 6m 3s module-sherlodoc
module-sherlodoc
October 7, 2024 14:41 6m 3s
Module sherlodoc Build #622: Pull request #6 synchronize by Julow
October 7, 2024 14:29 6m 14s module-sherlodoc
module-sherlodoc
October 7, 2024 14:29 6m 14s
f Build #621: Commit b81bd80 pushed by Julow
October 7, 2024 14:29 6m 1s module-sherlodoc
module-sherlodoc
October 7, 2024 14:29 6m 1s
Module sherlodoc Build #620: Pull request #6 opened by Julow
October 4, 2024 15:18 6m 15s module-sherlodoc
module-sherlodoc
October 4, 2024 15:18 6m 15s
Update sherlodoc Build #619: Commit b73ed53 pushed by Julow
October 4, 2024 15:16 6m 24s module-sherlodoc
module-sherlodoc
October 4, 2024 15:16 6m 24s
Revert "driver depend on sherlodoc" Build #618: Commit f8576f3 pushed by Julow
October 1, 2024 15:33 6m 8s revert-1197
revert-1197
October 1, 2024 15:33 6m 8s
opam: Fix pin URL for sherlodoc Build #617: Pull request #5 synchronize by Julow
October 1, 2024 09:08 6m 4s ci-fix-sherlodoc-url
ci-fix-sherlodoc-url
October 1, 2024 09:08 6m 4s
f Build #616: Commit 2e80ded pushed by Julow
October 1, 2024 09:08 6m 5s ci-fix-sherlodoc-url
ci-fix-sherlodoc-url
October 1, 2024 09:08 6m 5s
opam: Fix pin URL for sherlodoc Build #615: Pull request #5 synchronize by Julow
October 1, 2024 08:56 6m 11s ci-fix-sherlodoc-url
ci-fix-sherlodoc-url
October 1, 2024 08:56 6m 11s
f Build #614: Commit 8b768c9 pushed by Julow
October 1, 2024 08:56 6m 11s ci-fix-sherlodoc-url
ci-fix-sherlodoc-url
October 1, 2024 08:56 6m 11s
opam: Fix pin URL for sherlodoc Build #613: Pull request #5 opened by Julow
October 1, 2024 08:39 6m 3s ci-fix-sherlodoc-url
ci-fix-sherlodoc-url
October 1, 2024 08:39 6m 3s
opam: Fix pin URL for sherlodoc Build #612: Commit d9ea586 pushed by Julow
October 1, 2024 08:39 6m 14s ci-fix-sherlodoc-url
ci-fix-sherlodoc-url
October 1, 2024 08:39 6m 14s
Merge pull request #1197 from EmileTrotignon/sherlodoc-driver-dep Build #611: Commit d16bb2d pushed by Julow
October 1, 2024 08:23 6m 26s master
master
October 1, 2024 08:23 6m 26s
CI: Run the driver Build #610: Commit 1266666 pushed by Julow
September 30, 2024 15:53 5m 58s ci-driver
ci-driver
September 30, 2024 15:53 5m 58s
CI: Run the driver Build #609: Pull request #4 synchronize by Julow
September 30, 2024 15:01 1s ci-driver
ci-driver
September 30, 2024 15:01 1s