Skip to content
Kani CI

Update the doc tests on the README.md by replacing Skeptic with #435

Sign in to view logs

Update the doc tests on the README.md by replacing Skeptic with

Update the doc tests on the README.md by replacing Skeptic with #435

Triggered via push February 10, 2024 11:24
@tatsuya6502tatsuya6502
pushed edc81d5
fix-ci/2024-02-10/v012
Status Success
Total duration 1m 16s
Artifacts –

Kani.yml

on: push
pre_job
5s
pre_job
run-kani
54s
run-kani
Fit to window
Zoom out
Zoom in