Fix admits #35

Sign in to view logs

Triggered via push August 28, 2024 12:22

hferee

inv

Status Success

Total duration 5m 57s

Artifacts 2

build_docs.yml

on: push

Annotations

2 warnings

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

Notation "_ • _" was already used.

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

Notation "_ • _" was already used.

Artifacts

Produced during runtime

Name	Size
benchmark	837 Bytes
docs-artifact	2.16 MB