Skip to content

fix link to documentation #393

fix link to documentation

fix link to documentation #393

Re-run triggered November 16, 2025 08:28
Status Failure
Total duration 14m 12s
Artifacts

workflow.yml

on: pull_request
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

9 errors, 27 warnings, and 6 notices
build (ubuntu-latest, 4.14.x)
The process '/usr/bin/sudo' failed with exit code 100
build (ubuntu-latest, 4.13.x)
The process '/usr/bin/sudo' failed with exit code 100
lint-fmt
The process '/usr/bin/sudo' failed with exit code 100
build (5.0.x, ubuntu-latest)
The process '/usr/bin/sudo' failed with exit code 100
lint-doc
The process '/usr/bin/sudo' failed with exit code 100
lint-opam
The process '/usr/bin/sudo' failed with exit code 100
build (macos-latest, 4.13.x)
Process completed with exit code 31.
build (windows-latest, 4.13.x)
Process completed with exit code 1.
build (windows-latest, 4.14.x)
Process completed with exit code 1.
build (ubuntu-latest, 4.14.x)
Failed to restore: Cache service responded with 400
build (ubuntu-latest, 4.13.x)
Failed to restore: Cache service responded with 400
lint-fmt
Failed to restore: Cache service responded with 400
build (5.0.x, ubuntu-latest)
Failed to restore: Cache service responded with 400
lint-doc
Failed to restore: Cache service responded with 400
lint-opam
Failed to restore: Cache service responded with 400
build (macos-latest, 4.13.x)
Failed to restore: Cache service responded with 400
build (macos-latest, 4.13.x)
Failed to save: <h2>Our services aren't available right now</h2><p>We're working to restore all services as soon as possible. Please check back soon.</p>0C4wZaQAAAAAyEPapLy34RorQhT2S9TGjU04xRURHRTMwMTMARWRnZQ==
build (macos-latest, 4.13.x)
Failed to restore: Cache service responded with 400
build (5.0.x, macos-latest)
Failed to save: <h2>Our services aren't available right now</h2><p>We're working to restore all services as soon as possible. Please check back soon.</p>0x4wZaQAAAAA1FDmlsDUtSr/Gdc+rh+TXU04xRURHRTE2MTQARWRnZQ==
build (5.0.x, macos-latest)
Failed to restore: Cache service responded with 400
build (5.0.x, macos-latest)
Failed to save: <h2>Our services aren't available right now</h2><p>We're working to restore all services as soon as possible. Please check back soon.</p>0DowZaQAAAADbb15qyDY7RbzjMhsR0uTaU04xRURHRTIxMTYARWRnZQ==
build (5.0.x, macos-latest)
Failed to restore: Cache service responded with 400
build (windows-latest, 4.13.x)
Failed to restore: Cache service responded with 400
build (windows-latest, 4.13.x)
Failed to save: <h2>Our services aren't available right now</h2><p>We're working to restore all services as soon as possible. Please check back soon.</p>0BowZaQAAAABINH3gUCNuR5Rx0ldOEAqPUEhMMzBFREdFMDQxMABFZGdl
build (windows-latest, 4.13.x)
Failed to save: <h2>Our services aren't available right now</h2><p>We're working to restore all services as soon as possible. Please check back soon.</p>0h4sZaQAAAAC65363nACXSpc6XW967u7SUEhMMzBFREdFMDQxMQBFZGdl
build (windows-latest, 4.13.x)
Failed to restore: Cache service responded with 400
build (windows-latest, 4.13.x)
Failed to restore: Cache service responded with 400
build (macos-latest, 4.14.x)
Failed to save: <h2>Our services aren't available right now</h2><p>We're working to restore all services as soon as possible. Please check back soon.</p>0XY0ZaQAAAADIMr7OUNg3Srq3ooZpMwxdU04xRURHRTE5MTIARWRnZQ==
build (macos-latest, 4.14.x)
Failed to restore: Cache service responded with 400
build (macos-latest, 4.14.x)
Failed to save: <h2>Our services aren't available right now</h2><p>We're working to restore all services as soon as possible. Please check back soon.</p>0cYwZaQAAAADCylSgdYe8SoXtztyqlrKcU04xRURHRTE4MjIARWRnZQ==
build (macos-latest, 4.14.x)
Failed to restore: Cache service responded with 400
build (windows-latest, 4.14.x)
Failed to restore: Cache service responded with 400
build (windows-latest, 4.14.x)
Failed to save: <h2>Our services aren't available right now</h2><p>We're working to restore all services as soon as possible. Please check back soon.</p>0aY0ZaQAAAADhgA6mHbGXT63hKVqeqXGTUEhYMzFFREdFMDYxOQBFZGdl
build (windows-latest, 4.14.x)
Failed to save: <h2>Our services aren't available right now</h2><p>We're working to restore all services as soon as possible. Please check back soon.</p>0d4sZaQAAAABzpWwB5+KVQr1VgoDmJXS3UEhYMzFFREdFMDIxNwBFZGdl
build (windows-latest, 4.14.x)
Failed to restore: Cache service responded with 400
build (windows-latest, 4.14.x)
Failed to restore: Cache service responded with 400
build (ubuntu-latest, 4.14.x)
An error has been caught in some system package index files, so the system package index files have been re-synchronised, and the system package installation has been retried: the process '/usr/bin/sudo' failed with exit code 100
build (ubuntu-latest, 4.13.x)
An error has been caught in some system package index files, so the system package index files have been re-synchronised, and the system package installation has been retried: the process '/usr/bin/sudo' failed with exit code 100
lint-fmt
An error has been caught in some system package index files, so the system package index files have been re-synchronised, and the system package installation has been retried: the process '/usr/bin/sudo' failed with exit code 100
build (5.0.x, ubuntu-latest)
An error has been caught in some system package index files, so the system package index files have been re-synchronised, and the system package installation has been retried: the process '/usr/bin/sudo' failed with exit code 100
lint-doc
An error has been caught in some system package index files, so the system package index files have been re-synchronised, and the system package installation has been retried: the process '/usr/bin/sudo' failed with exit code 100
lint-opam
An error has been caught in some system package index files, so the system package index files have been re-synchronised, and the system package installation has been retried: the process '/usr/bin/sudo' failed with exit code 100