Skip to content

Changes to allow different toolchains for host and guest #1962

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
simongdavies wants to merge 2 commits into
base: main
Choose a base branch
from
+168 −86
Open

Changes to allow different toolchains for host and guest #1962

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
f50a3a9
Changes to allow different toolchains for host and guest
simongdavies Oct 20, 2026
225c7b5
Update to version 2.1.0 of the common wokflow and other fixes
simongdavies Oct 20, 2026
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
9 changes: 5 additions & 4 deletions .devcontainer/Dockerfile
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -49,14 +49,15 @@ RUN SNIPPET="export PROMPT_COMMAND='history -a' && export HISTFILE=/commandhisto

USER $USER

ARG RUST_TOOLCHAIN=1.94
ARG RUST_TOOLCHAIN=1.99.1
ARG GUEST_RUST_TOOLCHAIN=1.94.1

# Install rust
RUN curl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs | sh -s -- -y \
&& rustup default ${RUST_TOOLCHAIN} \
&& rustup target add x86_64-unknown-linux-gnu \
&& rustup target add x86_64-unknown-linux-musl \
&& rustup target add x86_64-unknown-none \
&& rustup component add clippy rustfmt --toolchain ${RUST_TOOLCHAIN} \

@ludfjig ludfjig Oct 20, 2026

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

nit: rustup default installs clippy and rustfmt with the default profile, so this line looks redundant. rustfmt in the toolchain files also seems unused since fmt runs on nightly.

&& rustup target add x86_64-unknown-linux-gnu x86_64-unknown-linux-musl --toolchain ${RUST_TOOLCHAIN} \
&& rustup toolchain install ${GUEST_RUST_TOOLCHAIN} --component clippy,rustfmt,rust-src --target x86_64-unknown-none \
&& rustup toolchain add nightly-2026-09-22-x86_64-unknown-linux-gnu \
&& cargo install just \
&& cargo install cross --locked --version 0.2.5
2 changes: 0 additions & 2 deletions .github/workflows/CargoAudit.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -18,8 +18,6 @@ jobs:
# We are not using the common workflow here because it installs a bunch of tools we don't need.
# TODO: Once the runner image is updated to include the necessary tools (without downloading), we can switch to the common workflow.
- uses: actions-rust-lang/setup-rust-toolchain@ecabd13d1c56bd1345c230e542e9144811ad706f # v2.0.0
with:
toolchain: "1.94"

- uses: rustsec/audit-check@69366f33c96575abad1ee0dba8212993eecbe998 # v2.0.0
with:
Expand Down
4 changes: 2 additions & 2 deletions .github/workflows/CargoPublish.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -38,9 +38,9 @@ jobs:
fetch-tags: true
submodules: true

- uses: hyperlight-dev/ci-setup-workflow@2f4142ba17cf573af44fc1e1f1ffc743daded5b3 # v1.10.0
- uses: hyperlight-dev/ci-setup-workflow@4b7107a0f24c523f503c861ddeb8180d3a23e7f7 # v2.1.0
with:
rust-toolchain: "1.94"
additional-toolchain-directory: src/tests/rust_guests

- name: Check crate versions
shell: bash
Expand Down
5 changes: 3 additions & 2 deletions .github/workflows/Coverage.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -13,6 +13,7 @@ on:

env:
CARGO_TERM_COLOR: always
CARGO_PROFILE_DEV_DEBUG: "2"
RUST_BACKTRACE: full

permissions:
Expand All @@ -38,9 +39,9 @@ jobs:
steps:
- uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7.0.1

- uses: hyperlight-dev/ci-setup-workflow@2f4142ba17cf573af44fc1e1f1ffc743daded5b3 # v1.10.0
- uses: hyperlight-dev/ci-setup-workflow@4b7107a0f24c523f503c861ddeb8180d3a23e7f7 # v2.1.0
with:
rust-toolchain: "1.94"
additional-toolchain-directory: src/tests/rust_guests
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}

Expand Down
26 changes: 19 additions & 7 deletions .github/workflows/CreateDevcontainerImage.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -8,6 +8,8 @@ on:
- ".devcontainer/Dockerfile"
- ".github/workflows/CreateDevcontainerImage.yml"
- "rust-toolchain.toml"
- "src/tests/rust_guests/rust-toolchain.toml"
- "src/hyperlight_guest_capi/rust-toolchain.toml"

# Defines two custom environment variables for the workflow. These are used for the Container registry domain, and a name for the Docker image that this workflow builds.
env:
Expand All @@ -16,8 +18,6 @@ env:
USER: vscode
GROUP: vscode
LLVM_VERSION: 18
RUST_TOOLCHAIN_DEFAULT: 1.94
RUST_TOOLCHAIN_FILE: rust-toolchain.toml

# There is a single job in this workflow. It's configured to run on the latest available version of Ubuntu.
jobs:
Expand All @@ -32,13 +32,24 @@ jobs:
- name: Checkout repository
uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7.0.1

- name: Read Rust toolchain version from ${{ env.RUST_TOOLCHAIN_FILE }}
- name: Read Rust toolchain versions
id: toolchain
run: |
version=$(cat ${{ env.RUST_TOOLCHAIN_FILE }} | sed -n '/\[toolchain\]/,/^\[/{/^\s*channel = /s/[^"]*"\([^"]*\)".*/\1/p}')
cat ${{ env.RUST_TOOLCHAIN_FILE }} | grep $version &> /dev/null \
&& echo "RUST_TOOLCHAIN=${version}" >> "$GITHUB_OUTPUT" \
|| echo "RUST_TOOLCHAIN=${{ env.RUST_TOOLCHAIN_FILE }}" >> "$GITHUB_OUTPUT"
python3 - <<'PY'
import os
import tomllib
def channel(path):
with open(path, "rb") as source:
return tomllib.load(source)["toolchain"]["channel"]
guest = channel("src/tests/rust_guests/rust-toolchain.toml")
if guest != channel("src/hyperlight_guest_capi/rust-toolchain.toml"):

@ludfjig ludfjig Oct 20, 2026

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This check runs only on pushes to main. A PR that bumps one guest toolchain file passes CI, the C API builds with a different rustc, and this workflow fails after merge. Could the same check run in dep_code_checks.yml?

raise ValueError("Guest Rust toolchains must match")
with open(os.environ["GITHUB_OUTPUT"], "a") as output:
print(f"RUST_TOOLCHAIN={channel('rust-toolchain.toml')}", file=output)
print(f"GUEST_RUST_TOOLCHAIN={guest}", file=output)
PY
# Uses the `docker/login-action` action to log in to the Container registry registry using the account and password that will publish the packages. Once published, the packages are scoped to the account defined here.
- name: Log in to the Container registry
Expand Down Expand Up @@ -69,3 +80,4 @@ jobs:
GROUP=${{ env.GROUP }}
LLVM_VERSION=${{ env.LLVM_VERSION }}
RUST_TOOLCHAIN=${{ steps.toolchain.outputs.RUST_TOOLCHAIN }}
GUEST_RUST_TOOLCHAIN=${{ steps.toolchain.outputs.GUEST_RUST_TOOLCHAIN }}
12 changes: 6 additions & 6 deletions .github/workflows/CreateRelease.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -35,9 +35,9 @@ jobs:
steps:
- uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7.0.1

- uses: hyperlight-dev/ci-setup-workflow@2f4142ba17cf573af44fc1e1f1ffc743daded5b3 # v1.10.0
- uses: hyperlight-dev/ci-setup-workflow@4b7107a0f24c523f503c861ddeb8180d3a23e7f7 # v2.1.0
with:
rust-toolchain: "1.94"
additional-toolchain-directory: src/tests/rust_guests

@ludfjig ludfjig Oct 20, 2026

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This job only runs root cargo build, so it doesn't need the guest toolchain. Same for other host-only and artifact-consuming jobs. Could we pass additional-toolchain-directory only where guests or the C API are built?

env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}

Expand All @@ -56,9 +56,9 @@ jobs:
steps:
- uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7.0.1

- uses: hyperlight-dev/ci-setup-workflow@2f4142ba17cf573af44fc1e1f1ffc743daded5b3 # v1.10.0
- uses: hyperlight-dev/ci-setup-workflow@4b7107a0f24c523f503c861ddeb8180d3a23e7f7 # v2.1.0
with:
rust-toolchain: "1.94"
additional-toolchain-directory: src/tests/rust_guests
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}

Expand Down Expand Up @@ -134,9 +134,9 @@ jobs:
fetch-tags: true
submodules: true

- uses: hyperlight-dev/ci-setup-workflow@2f4142ba17cf573af44fc1e1f1ffc743daded5b3 # v1.10.0
- uses: hyperlight-dev/ci-setup-workflow@4b7107a0f24c523f503c861ddeb8180d3a23e7f7 # v2.1.0

@ludfjig ludfjig Oct 20, 2026

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

The v2 setup action calls actions-rust-lang/setup-rust-toolchain, which writes CARGO_PROFILE_DEV_DEBUG=0 to GITHUB_ENV when it is unset:

if [[ ! -v CARGO_PROFILE_DEV_DEBUG ]]; then
  echo "CARGO_PROFILE_DEV_DEBUG=0" >> $GITHUB_ENV
fi

This job has no override. just tar-static-lib builds debug/libhyperlight_guest_capi.a with --profile dev, so the published debug archive has no debug info. Other jobs lose backtrace line numbers too. Could we set CARGO_PROFILE_DEV_DEBUG once in ci-setup-workflow before both setup steps, and drop the three per-workflow overrides? Otherwise add it to this workflow's env.

with:
rust-toolchain: "1.94"
additional-toolchain-directory: src/tests/rust_guests
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}

Expand Down
4 changes: 2 additions & 2 deletions .github/workflows/PrimeCaches.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -96,9 +96,9 @@ jobs:
steps:
- uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7.0.1

- uses: hyperlight-dev/ci-setup-workflow@2f4142ba17cf573af44fc1e1f1ffc743daded5b3 # v1.10.0
- uses: hyperlight-dev/ci-setup-workflow@4b7107a0f24c523f503c861ddeb8180d3a23e7f7 # v2.1.0
with:
rust-toolchain: "1.94"
additional-toolchain-directory: src/tests/rust_guests
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}

Expand Down
4 changes: 2 additions & 2 deletions .github/workflows/RegenSnapshotGoldens.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -171,9 +171,9 @@ jobs:
steps:
- uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7.0.1

- uses: hyperlight-dev/ci-setup-workflow@2f4142ba17cf573af44fc1e1f1ffc743daded5b3 # v1.10.0
- uses: hyperlight-dev/ci-setup-workflow@4b7107a0f24c523f503c861ddeb8180d3a23e7f7 # v2.1.0
with:
rust-toolchain: "1.94"
additional-toolchain-directory: src/tests/rust_guests
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}

Expand Down
7 changes: 4 additions & 3 deletions .github/workflows/RustNightly.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -13,6 +13,7 @@ permissions:

env:
CARGO_TERM_COLOR: always
CARGO_PROFILE_DEV_DEBUG: "2"
RUST_BACKTRACE: full

defaults:
Expand Down Expand Up @@ -44,9 +45,9 @@ jobs:
steps:
- uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7.0.1

- uses: hyperlight-dev/ci-setup-workflow@2f4142ba17cf573af44fc1e1f1ffc743daded5b3 # v1.10.0
- uses: hyperlight-dev/ci-setup-workflow@4b7107a0f24c523f503c861ddeb8180d3a23e7f7 # v2.1.0
with:
rust-toolchain: "1.94"
additional-toolchain-directory: src/tests/rust_guests
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}

Expand All @@ -59,7 +60,7 @@ jobs:
path: |
src/tests/rust_guests/target/sysroot
src/tests/rust_guests/target-non-pie/sysroot
key: sysroot-linux-${{ matrix.config }}-${{ hashFiles('rust-toolchain.toml') }}
key: sysroot-linux-${{ matrix.config }}-${{ hashFiles('src/tests/rust_guests/rust-toolchain.toml', 'src/hyperlight_guest_capi/rust-toolchain.toml') }}

- name: Rust cache
uses: Swatinem/rust-cache@6323deb102c322ba6fcbdcafc7e3dddab59af2b6 # v2.9.2
Expand Down
8 changes: 4 additions & 4 deletions .github/workflows/ValidatePullRequest.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -111,9 +111,9 @@ jobs:
steps:
- uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7.0.1

- uses: hyperlight-dev/ci-setup-workflow@2f4142ba17cf573af44fc1e1f1ffc743daded5b3 # v1.10.0
- uses: hyperlight-dev/ci-setup-workflow@4b7107a0f24c523f503c861ddeb8180d3a23e7f7 # v2.1.0
with:
rust-toolchain: "1.94"
additional-toolchain-directory: src/tests/rust_guests
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}

Expand Down Expand Up @@ -317,9 +317,9 @@ jobs:
steps:
- uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7.0.1

- uses: hyperlight-dev/ci-setup-workflow@2f4142ba17cf573af44fc1e1f1ffc743daded5b3 # v1.10.0
- uses: hyperlight-dev/ci-setup-workflow@4b7107a0f24c523f503c861ddeb8180d3a23e7f7 # v2.1.0
with:
rust-toolchain: "1.94"
additional-toolchain-directory: src/tests/rust_guests
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}

Expand Down
12 changes: 2 additions & 10 deletions .github/workflows/copilot-setup-steps.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -21,16 +21,8 @@ jobs:
- name: Checkout code
uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7.0.1

# For rust-fmt
- name: Set up nightly rust
uses: actions-rust-lang/setup-rust-toolchain@ecabd13d1c56bd1345c230e542e9144811ad706f # v2.0.0
- uses: hyperlight-dev/ci-setup-workflow@4b7107a0f24c523f503c861ddeb8180d3a23e7f7 # v2.1.0
with:
toolchain: nightly
components: rustfmt


- uses: hyperlight-dev/ci-setup-workflow@2f4142ba17cf573af44fc1e1f1ffc743daded5b3 # v1.10.0
with:
rust-toolchain: "1.94"
additional-toolchain-directory: src/tests/rust_guests
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
4 changes: 2 additions & 2 deletions .github/workflows/dep_benchmarks.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -75,9 +75,9 @@ jobs:
# The baseline pass checks out another commit, which needs its history.
fetch-depth: ${{ inputs.baseline_ref == '' && 1 || 0 }}

- uses: hyperlight-dev/ci-setup-workflow@2f4142ba17cf573af44fc1e1f1ffc743daded5b3 # v1.10.0
- uses: hyperlight-dev/ci-setup-workflow@4b7107a0f24c523f503c861ddeb8180d3a23e7f7 # v2.1.0
with:
rust-toolchain: "1.94"
additional-toolchain-directory: src/tests/rust_guests
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}

Expand Down
17 changes: 14 additions & 3 deletions .github/workflows/dep_build_guests.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -33,6 +33,7 @@ on:

env:
CARGO_TERM_COLOR: always
CARGO_PROFILE_DEV_DEBUG: "2"

permissions:
contents: read
Expand Down Expand Up @@ -74,9 +75,19 @@ jobs:
}
git checkout --detach ${{ inputs.ref }}

- uses: hyperlight-dev/ci-setup-workflow@2f4142ba17cf573af44fc1e1f1ffc743daded5b3 # v1.10.0
- name: Select guest toolchain
id: guest-toolchain
run: |
# Older commits use the root toolchain for both host and guests.
if [[ -f src/tests/rust_guests/rust-toolchain.toml ]]; then
echo "directory=src/tests/rust_guests" >> "$GITHUB_OUTPUT"
else
echo "directory=" >> "$GITHUB_OUTPUT"
fi

- uses: hyperlight-dev/ci-setup-workflow@4b7107a0f24c523f503c861ddeb8180d3a23e7f7 # v2.1.0
with:
rust-toolchain: "1.94"
additional-toolchain-directory: ${{ steps.guest-toolchain.outputs.directory }}
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}

Expand All @@ -90,7 +101,7 @@ jobs:
path: |
src/tests/rust_guests/target/sysroot
src/tests/rust_guests/target-non-pie/sysroot
key: sysroot-linux-${{ inputs.arch }}-${{ inputs.config }}-${{ hashFiles('rust-toolchain.toml') }}
key: sysroot-linux-${{ inputs.arch }}-${{ inputs.config }}-${{ hashFiles('rust-toolchain.toml', 'src/tests/rust_guests/rust-toolchain.toml', 'src/hyperlight_guest_capi/rust-toolchain.toml') }}

- name: Rust cache
uses: Swatinem/rust-cache@6323deb102c322ba6fcbdcafc7e3dddab59af2b6 # v2.9.2
Expand Down
4 changes: 2 additions & 2 deletions .github/workflows/dep_build_test.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -84,9 +84,9 @@ jobs:
steps:
- uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7.0.1

- uses: hyperlight-dev/ci-setup-workflow@2f4142ba17cf573af44fc1e1f1ffc743daded5b3 # v1.10.0
- uses: hyperlight-dev/ci-setup-workflow@4b7107a0f24c523f503c861ddeb8180d3a23e7f7 # v2.1.0
with:
rust-toolchain: "1.94"
additional-toolchain-directory: src/tests/rust_guests
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}

Expand Down
12 changes: 6 additions & 6 deletions .github/workflows/dep_code_checks.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -35,9 +35,9 @@ jobs:
steps:
- uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7.0.1

- uses: hyperlight-dev/ci-setup-workflow@2f4142ba17cf573af44fc1e1f1ffc743daded5b3 # v1.10.0
- uses: hyperlight-dev/ci-setup-workflow@4b7107a0f24c523f503c861ddeb8180d3a23e7f7 # v2.1.0
with:
rust-toolchain: "1.94"
additional-toolchain-directory: src/tests/rust_guests
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}

Expand All @@ -50,7 +50,7 @@ jobs:
with:
path: |
src/tests/rust_guests/target/sysroot
key: sysroot-linux-${{ hashFiles('rust-toolchain.toml') }}
key: sysroot-linux-${{ hashFiles('src/tests/rust_guests/rust-toolchain.toml', 'src/hyperlight_guest_capi/rust-toolchain.toml') }}

- name: Rust cache
uses: Swatinem/rust-cache@6323deb102c322ba6fcbdcafc7e3dddab59af2b6 # v2.9.2
Expand Down Expand Up @@ -121,9 +121,9 @@ jobs:
steps:
- uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7.0.1

- uses: hyperlight-dev/ci-setup-workflow@2f4142ba17cf573af44fc1e1f1ffc743daded5b3 # v1.10.0
- uses: hyperlight-dev/ci-setup-workflow@4b7107a0f24c523f503c861ddeb8180d3a23e7f7 # v2.1.0
with:
rust-toolchain: "1.94"
additional-toolchain-directory: src/tests/rust_guests
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}

Expand All @@ -136,7 +136,7 @@ jobs:
with:
path: |
src/tests/rust_guests/target/sysroot
key: sysroot-windows-${{ hashFiles('rust-toolchain.toml') }}
key: sysroot-windows-${{ hashFiles('src/tests/rust_guests/rust-toolchain.toml', 'src/hyperlight_guest_capi/rust-toolchain.toml') }}

- name: Rust cache
uses: Swatinem/rust-cache@6323deb102c322ba6fcbdcafc7e3dddab59af2b6 # v2.9.2
Expand Down
4 changes: 2 additions & 2 deletions .github/workflows/dep_fuzzing.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -51,9 +51,9 @@ jobs:
- name: Checkout code
uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7.0.1

- uses: hyperlight-dev/ci-setup-workflow@2f4142ba17cf573af44fc1e1f1ffc743daded5b3 # v1.10.0
- uses: hyperlight-dev/ci-setup-workflow@4b7107a0f24c523f503c861ddeb8180d3a23e7f7 # v2.1.0
with:
rust-toolchain: "1.94"
additional-toolchain-directory: src/tests/rust_guests
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}

Expand Down
6 changes: 4 additions & 2 deletions .github/workflows/dep_miri.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -50,9 +50,11 @@ jobs:
# The shared setup reads /dev/kvm to report what the runner offers, which
# a hosted one need not have. Miri wants a toolchain and two tools, so it
# asks for those rather than everything a hypervisor job needs.
- uses: dtolnay/rust-toolchain@683b588c487a69d01f6c6ddf40f036ff682cc2c8 # master
- uses: actions-rust-lang/setup-rust-toolchain@ecabd13d1c56bd1345c230e542e9144811ad706f # v2.0.0
with:
toolchain: "1.94"
cache: "false"
# Miri's generated sysroot manifest emits a Cargo warning.
build-warnings: warn

- uses: taiki-e/install-action@4cef1412cce204788f482e778a0b9187f9626a29 # v2.87.21
with:
Expand Down
4 changes: 2 additions & 2 deletions .github/workflows/dep_run_examples.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -62,9 +62,9 @@ jobs:
steps:
- uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7.0.1

- uses: hyperlight-dev/ci-setup-workflow@2f4142ba17cf573af44fc1e1f1ffc743daded5b3 # v1.10.0
- uses: hyperlight-dev/ci-setup-workflow@4b7107a0f24c523f503c861ddeb8180d3a23e7f7 # v2.1.0
with:
rust-toolchain: "1.94"
additional-toolchain-directory: src/tests/rust_guests
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}

Expand Down
Loading
Loading