Skip to content
CI

Update kernel loader docs #222

Sign in to view logs

Update kernel loader docs

Update kernel loader docs #222

Triggered via push January 25, 2024 11:19
@nspinnspin
pushed f77eedd
main
Status Success
Total duration 17m 45s
Artifacts –

push.yaml

on: push
Matrix: Run sel4test
Check licenses
13s
Check licenses
Check source
2m 35s
Check source
Run other tests
5m 38s
Run other tests
Build docs
2m 32s
Build docs
Check dependencies
4m 8s
Check dependencies
Check Kani proofs
3m 47s
Check Kani proofs
Build everything
10m 52s
Build everything
Deploy docs
48s
Deploy docs
Fit to window
Zoom out
Zoom in

Annotations

15 warnings
Check licenses
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: seL4/ci-actions/license-check@master. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
Run sel4test (ia32)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: cachix/cachix-action@v12, actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
Build docs
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: cachix/cachix-action@v12, actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
Check source
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: cachix/cachix-action@v12, actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
Check Kani proofs
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
Check dependencies
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: cachix/cachix-action@v12, actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
Run sel4test (aarch64)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: cachix/cachix-action@v12, actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
Run sel4test (x86_64)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: cachix/cachix-action@v12, actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
Run sel4test (riscv64)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: cachix/cachix-action@v12, actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
Run sel4test (riscv32)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: cachix/cachix-action@v12, actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
Run sel4test (aarch32)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: cachix/cachix-action@v12, actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
Run other tests
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: cachix/cachix-action@v12, actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
Build everything
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: cachix/cachix-action@v12, actions/checkout@v3, actions/upload-artifact@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
Deploy docs
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/deploy-pages@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
Deploy docs
Uploaded artifact size of 1163008000 bytes exceeds the allowed size of 1 GB. Deployment might fail.