Build doc

Decision procedure: name cleanup #46

Sign in to view logs

Triggered via push September 3, 2024 13:07

hferee

inv

Status Failure

Total duration 5m 30s

Artifacts –

build_docs.yml

on: push

Annotations

1 error and 2 warnings

Build docs: theories/iSL/PropQuantifiers.v#L422

[Focus] Wrong bullet -: Current bullet - is not finished.

Build docs: theories/iSL/Order.v#L12

Notation "_ • _" was already used.

Build docs: theories/iSL/PropQuantifiers.v#L33

Notation "_ • _" was already used.