Skip to content
Kani CI

Fix CI for nightly MSRV #218

Sign in to view logs

Fix CI for nightly MSRV

Fix CI for nightly MSRV #218

Re-run triggered November 9, 2023 22:49
@tatsuya6502tatsuya6502
#341
nyurik:fix-ci
Status Success
Total duration 2m 19s
Artifacts –

Kani.yml

on: pull_request
run-kani
2m 9s
run-kani
Fit to window
Zoom out
Zoom in