Skip to content

[CI] update code

[CI] update code #2085

Triggered via push January 4, 2025 17:34
Status Failure
Total duration 3m 29s
Artifacts

ocaml.yml

on: push
Matrix: packaging
Fit to window
Zoom out
Zoom in

Annotations

1 error, 3 warnings, and 1 notice
packaging (ubuntu-latest)
The process '/usr/bin/sudo' failed with exit code 100
packaging (ubuntu-latest)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
packaging (macos-latest)
gmp 6.3.0 is already installed and up-to-date. To reinstall 6.3.0, run: brew reinstall gmp
packaging (macos-latest)
pkgconf 2.3.0_1 is already installed and up-to-date. To reinstall 2.3.0_1, run: brew reinstall pkgconf
packaging (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