Kani CI

Make `once_cell` dependency optional #533

Sign in to view logs

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

Triggered via pull request July 14, 2024 05:53

tatsuya6502

opened #444

make-once_cell-optional

Status Success

Total duration 1m 5s

Artifacts –

Kani.yml

on: pull_request