fix typo #62
hfereebuild_docs.yml
on: push
Build docs
14m 8s
deploy
0s
Annotations
2 errors and 5 warnings
|
Build docs
The run was canceled by @hferee.
|
|
Build docs
The operation was canceled.
|
|
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#L91
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.
|