PR

seL4Config: remove duplicated constants #1431

Sign in to view logs

Triggered via pull request July 9, 2026 05:32

cazb2

opened #547

au-ts:callumb/improve_config

Status Failure

Total duration 3m 5s

Artifacts –

pr.yml

on: pull_request

Checks / Gitlint

Checks / Trailing Whitespace

Checks / Portable Shell

Annotations

1 error and 2 warnings

Checks / Style

Action style failed.

clippy_check

Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/

rustfmt_check

Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/