Skip to content
CI

Implement Nat.length_nat as an external primitive (#35) #33

Sign in to view logs

Implement Nat.length_nat as an external primitive (#35)

Implement Nat.length_nat as an external primitive (#35) #33

Triggered via push November 5, 2023 16:14
@xavierleroyxavierleroy
pushed 80bb9b7
master
Status Failure
Total duration 20m 22s
Artifacts –

ci.yml

on: push
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, 4.14.x)
Process completed with exit code 30.
build (macos-latest, 4.14.x)
Process completed with exit code 30.
build (ubuntu-latest, 5.0.x)
Process completed with exit code 30.
build (macos-latest, 5.0.x)
Process completed with exit code 30.
build (ubuntu-latest, 4.06.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 (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.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.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 (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 (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 (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 (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/
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/