Skip to content
CI

Implement Nat.length_nat as an external primitive #29

Sign in to view logs

Implement Nat.length_nat as an external primitive

Implement Nat.length_nat as an external primitive #29

Triggered via pull request October 25, 2023 11:57
@vouillonvouillon
opened #35
vouillon:length
Status Failure
Total duration 24m 7s
Artifacts –

ci.yml

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

Annotations

8 errors and 10 warnings
build (ubuntu-latest, ocaml-variants.5.1.0+trunk)
The process '/opt/hostedtoolcache/opam/2.1.5/x86_64/opam' failed with exit code 20
build (macos-latest, ocaml-variants.5.1.0+trunk)
The process '/Users/runner/hostedtoolcache/opam/2.1.5/x86_64/opam' failed with exit code 20
build (ubuntu-latest, 5.0.x)
Process completed with exit code 30.
build (ubuntu-latest, 4.14.x)
Process completed with exit code 30.
build (ubuntu-latest, 4.06.x)
Process completed with exit code 30.
build (macos-latest, 5.0.x)
Process completed with exit code 30.
build (macos-latest, 4.14.x)
Process completed with exit code 30.
build (macos-latest, 4.06.x)
Process completed with exit code 30.
build (ubuntu-latest, ocaml-variants.5.1.0+trunk)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
build (macos-latest, ocaml-variants.5.1.0+trunk)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
build (ubuntu-latest, 5.0.x)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
build (ubuntu-latest, 4.14.x)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
build (windows-latest, 4.06.x)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
build (ubuntu-latest, 4.06.x)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
build (macos-latest, 5.0.x)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
build (macos-latest, 4.14.x)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
build (macos-latest, 4.06.x)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
build (windows-latest, 4.14.x)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/