fix kani build job · rust-osdev/x86_64@9923b27

Triggered via pull request April 26, 2025 06:39

Freax13

opened #544

fix/kani

Status Failure

Total duration 5m 44s

Artifacts –

build.yml

on: pull_request

Matrix: Bootloader Integration Test

Matrix: Test MSRV and Stable Features

Matrix: Test

1 error and 2 warnings

Process completed with exit code 1.

Cache not found for keys: v0-rust-kani-Linux-x64-357bd1e5-f52b0c84, v0-rust-kani-Linux-x64-357bd1e5

Cache not found for keys: v0-rust-semver-checks-Linux-x64-357bd1e5-f52b0c84, v0-rust-semver-checks-Linux-x64-357bd1e5