relax availability constraint to be used for arm64 architectures #703
Annotations
2 warnings
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
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/
|
Set up job
3s
3s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Checkout code
2s
2s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Setup OCaml 4.11.2
3m 22s
3m 22s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Run opam pin add goblint-cil.dev . --no-action
0s
0s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Run opam depext goblint-cil --yes
43s
43s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Run opam depext goblint-cil --yes --with-test
42s
42s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Run opam install . --deps-only --with-test
1m 55s
1m 55s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Run opam exec -- dune build
12s
12s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Run opam exec -- dune runtest
2m 59s
2m 59s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Upload test log
0s
0s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Post Setup OCaml 4.11.2
0s
0s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Post Checkout code
0s
0s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Complete job
0s
0s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Loading