Skip to content

Allow building the SDK with a custom toolchain prefix #511

Allow building the SDK with a custom toolchain prefix

Allow building the SDK with a custom toolchain prefix #511

Workflow file for this run

# Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)
#
# SPDX-License-Identifier: BSD-2-Clause
# Actions to run on pull requests
name: PR
on: [pull_request]
jobs:
gitlint:
name: Gitlint
runs-on: ubuntu-latest
steps:
- uses: seL4/ci-actions/gitlint@master
whitespace:
name: 'Trailing Whitespace'
runs-on: ubuntu-latest
steps:
- uses: seL4/ci-actions/git-diff-check@master
shell:
name: 'Portable Shell'
runs-on: ubuntu-latest
steps:
- uses: seL4/ci-actions/bashisms@master
style:
name: Style
runs-on: ubuntu-latest
steps:
- uses: seL4/ci-actions/style@master
clippy_check:
runs-on: ubuntu-latest
# Make sure CI fails on all warnings, including Clippy lints
env:
RUSTFLAGS: "-Dwarnings"
steps:
- uses: actions/checkout@v4
- uses: actions/cache@v3
with:
path: |
~/.cargo/bin/
~/.cargo/registry/index/
~/.cargo/registry/cache/
~/.cargo/git/db/
target/
key: ${{ runner.os }}-cargo-${{ hashFiles('**/Cargo.lock') }}
- name: Run Clippy
run: cd tool/microkit && cargo clippy --all-targets --all-features
rustfmt_check:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- uses: actions/cache@v3
with:
path: |
~/.cargo/bin/
~/.cargo/registry/index/
~/.cargo/registry/cache/
~/.cargo/git/db/
target/
key: ${{ runner.os }}-cargo-${{ hashFiles('**/Cargo.lock') }}
- name: Run rustfmt
run: cd tool/microkit && cargo fmt --check