Merge branch 'main' into inv #53
hfereebuild_docs.yml
on: push
Build docs
13m 58s
deploy
0s
Annotations
5 warnings
|
Build docs:
theories/iSL/Order.v#L12
Notation "_ • _" was already used.
|
|
Build docs:
theories/iSL/Simp_env.v#L5
Notation "_ ≼ _" was already used.
|
|
Build docs:
theories/iSL/Simp_env.v#L90
Notation "_ • _" was already used.
|
|
Build docs:
theories/iSL/PropQuantifiers.v#L2
Notation "_ ≼ _" was already used.
|
|
Build docs:
theories/iSL/PropQuantifiers.v#L35
Notation "_ • _" was already used.
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
benchmark
|
765 Bytes |
|
|
docs-artifact
|
2.22 MB |
|