Build documentation

Ci formalverif #12

Sign in to view logs

Triggered via pull request October 1, 2024 14:05

cmomin

opened #5

CI-formalverif

Status Success

Total duration 6m 2s

Artifacts 1

ci.yml

on: pull_request

Artifacts

Produced during runtime

Name	Size
docs Expired	507 KB