Add info about the proof generation. · alpenlabs/docs@1be9259

Triggered via pull request October 7, 2024 11:41

storopoli

synchronize #11

pramod/suggestions

Status Success

Total duration 22s

Artifacts 1

mkdocs.yml

on: pull_request

Produced during runtime

Name	Size
mkdocs-site-preview Expired	837 KB