Skip to content
Documentation

omit-proofs: handle commands that may have global effects #42

Sign in to view logs

omit-proofs: handle commands that may have global effects

omit-proofs: handle commands that may have global effects #42

Triggered via push January 22, 2024 16:12
@hendriktewshendriktews
pushed 85a35ad
master
Status Success
Total duration 48s
Artifacts –

deploy-doc.yml

on: push
Matrix: deploy-doc
Fit to window
Zoom out
Zoom in