Skip to content
book

build(deps): bump model-checking/kani-github-action from 1.0 to 1.1 (… #126

Sign in to view logs

build(deps): bump model-checking/kani-github-action from 1.0 to 1.1 (…

build(deps): bump model-checking/kani-github-action from 1.0 to 1.1 (… #126

Triggered via push January 11, 2024 00:10
@camshaftcamshaft
pushed 62577a6
master
Status Success
Total duration 17s
Artifacts –

book.yml

on: push
build-deploy
7s
build-deploy
Fit to window
Zoom out
Zoom in