Skip to content

doc: add picture of verification techniques #68

doc: add picture of verification techniques

doc: add picture of verification techniques #68

Triggered via pull request November 26, 2024 13:17
Status Success
Total duration 3m 31s
Artifacts

coq.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Annotations

1 warning
build
Failed to remove 'http.https://github.com/.extraheader' from the git config