Skip to content
ocaml

[CI] update code #2001

Sign in to view logs

[CI] update code

[CI] update code #2001

Triggered via push September 4, 2024 19:20
@hacl-bothacl-bot
pushed 8dc1ee2
hacl-star-nik_stabilize_lib_vec_lemmas
Status Success
Total duration 6m 48s
Artifacts –

ocaml.yml

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

Annotations

4 warnings
packaging (macos-latest)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
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)
pkg-config 0.29.2_3 is already installed and up-to-date. To reinstall 0.29.2_3, run: brew reinstall pkg-config
packaging (ubuntu-latest)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/