Skip to content
Deploy site

Fix build of verifast-rust #77

Sign in to view logs

Fix build of verifast-rust

Fix build of verifast-rust #77

This workflow is awaiting approval from a maintainer in #4
Triggered via pull request October 24, 2024 18:14
@ia0ia0
synchronize #4
ia0:fix
Status Action required
Total duration –
Artifacts –
This workflow is awaiting approval from a maintainer in #4

book.yml

on: pull_request
build
build
deploy
deploy
Fit to window
Zoom out
Zoom in