Fix the CI with Rust 1.80 beta #504

Sign in to view logs

Summary
Jobs
- pre_job
- run-kani
Run details
- Usage
- Workflow file

Triggered via push July 6, 2024 07:51

tatsuya6502

fix-ci-2024-07-06/v0.12

Status Success

Total duration 1m 0s

Artifacts –

Kani.yml

on: push