Skip to content
Open
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion .github/workflows/compilation-checks.yml
Original file line number Diff line number Diff line change
Expand Up @@ -31,7 +31,7 @@ jobs:
arch: [ARM, ARM_HYP, AARCH64, RISCV64, X64]
compiler: [gcc, llvm]
steps:
- uses: actions/checkout@v4
- uses: actions/checkout@v7
- uses: DeepcometAI/ci-actions/standalone-kernel@master
with:
ARCH: ${{ matrix.arch }}
Expand Down
4 changes: 2 additions & 2 deletions .github/workflows/rust.yml
Original file line number Diff line number Diff line change
Expand Up @@ -27,7 +27,7 @@ jobs:
matrix:
rust: [stable, nightly]
steps:
- uses: actions/checkout@v4
- uses: actions/checkout@v7

- name: Install Rust
uses: dtolnay/rust-toolchain@master
Expand Down Expand Up @@ -77,7 +77,7 @@ jobs:
name: Security Audit
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- uses: actions/checkout@v7

- name: Install Rust
uses: dtolnay/rust-toolchain@stable
Expand Down
2 changes: 1 addition & 1 deletion .github/workflows/sel4test-deploy.yml
Original file line number Diff line number Diff line change
Expand Up @@ -91,7 +91,7 @@ jobs:
concurrency: hw-run-${{ strategy.job-index }}
steps:
- name: Get machine queue
uses: actions/checkout@v4
uses: actions/checkout@v7
with:
repository: seL4/machine_queue
path: machine_queue
Expand Down
2 changes: 1 addition & 1 deletion .github/workflows/xml_lint.yml
Original file line number Diff line number Diff line change
Expand Up @@ -32,7 +32,7 @@ jobs:
run: sudo apt-get update
- name: install xmllint
run: sudo apt-get install libxml2-utils
- uses: actions/checkout@v4
- uses: actions/checkout@v7
- name: run xmllint
run: |
find libsel4 -name "object-api*.xml" | \
Expand Down
Loading