Skip to content

Demo : parse ↔

Demo : parse ↔ #58

Triggered via push September 12, 2024 18:22
Status Success
Total duration 15m 25s
Artifacts 2

build_docs.yml

on: push
Fit to window
Zoom out
Zoom in

Annotations

7 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#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.
deploy
The following actions uses node12 which is deprecated and will be forced to run on node16: peaceiris/actions-gh-pages@v3.8.0. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
deploy
The following actions use a deprecated Node.js version and will be forced to run on node20: peaceiris/actions-gh-pages@v3.8.0. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

Artifacts

Produced during runtime
Name Size
benchmark
775 Bytes
docs-artifact
2.22 MB