[docs] Fixing issues in proof rules #1856

Sign in to view logs

Triggered via push August 7, 2024 00:06

HanielB

fix-docs

Status Success

Total duration 28m 50s

Artifacts 1

ci.yml

on: push

Matrix: builds

Artifacts

Produced during runtime

Name	Size
documentation	4.83 MB