Skip to content

fix: fix rust-sel4 recv slot #6

fix: fix rust-sel4 recv slot

fix: fix rust-sel4 recv slot #6

Triggered via push September 12, 2024 17:40
Status Failure
Total duration 6m 23s
Artifacts

push.yaml

on: push
Matrix: Run sel4test
Check dependencies
3m 23s
Check dependencies
Check Kani proofs
3m 1s
Check Kani proofs
Build everything
0s
Build everything
Deploy docs
0s
Deploy docs
Fit to window
Zoom out
Zoom in

Annotations

8 errors and 11 warnings
Check source
Process completed with exit code 2.
Run other tests
Process completed with exit code 2.
Run sel4test (riscv64)
Process completed with exit code 2.
Run sel4test (x86_64)
Process completed with exit code 2.
Run sel4test (aarch32)
Process completed with exit code 2.
Run sel4test (riscv32)
Process completed with exit code 2.
Run sel4test (aarch64)
Process completed with exit code 2.
Build docs
Process completed with exit code 2.
Check source
The following actions use a deprecated Node.js version and will be forced to run on node20: cachix/cachix-action@v12, 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/
Run sel4test (ia32)
The following actions use a deprecated Node.js version and will be forced to run on node20: cachix/cachix-action@v12, 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/
Run other tests
The following actions use a deprecated Node.js version and will be forced to run on node20: cachix/cachix-action@v12, 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/
Check Kani proofs
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/
Run sel4test (riscv64)
The following actions use a deprecated Node.js version and will be forced to run on node20: cachix/cachix-action@v12, 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/
Run sel4test (x86_64)
The following actions use a deprecated Node.js version and will be forced to run on node20: cachix/cachix-action@v12, 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/
Run sel4test (aarch32)
The following actions use a deprecated Node.js version and will be forced to run on node20: cachix/cachix-action@v12, 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/
Run sel4test (riscv32)
The following actions use a deprecated Node.js version and will be forced to run on node20: cachix/cachix-action@v12, 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/
Run sel4test (aarch64)
The following actions use a deprecated Node.js version and will be forced to run on node20: cachix/cachix-action@v12, 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/
Check dependencies
The following actions use a deprecated Node.js version and will be forced to run on node20: cachix/cachix-action@v12, 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/
Build docs
The following actions use a deprecated Node.js version and will be forced to run on node20: cachix/cachix-action@v12, 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/