[proofs] [alethe] Update doc, remove experimental option #1892

Sign in to view logs

Triggered via push September 17, 2024 23:03

HanielB

alethe-doc

Status Success

Total duration 37m 27s

Artifacts 1

ci.yml

on: push

Matrix: builds

Artifacts

Produced during runtime

Name	Size
documentation	4.83 MB