Add a benchmark (now feasible) #37

Sign in to view logs

Triggered via push August 28, 2024 12:35

hferee

inv

Status Success

Total duration 6m 0s

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	859 Bytes
docs-artifact	2.16 MB