Skip to content

Commit f6a1ef3

Browse files
github-actions[bot]github-actions[bot]
committed
Update formal specification documentation
- Updated from ouroboros-leios-formal-spec repository - Run ID: 15304510002 - Triggered by: repository_dispatch
1 parent 1541f97 commit f6a1ef3

File tree

4 files changed

+4
-4
lines changed

4 files changed

+4
-4
lines changed

‎site/static/formal-spec/Leios.Defaults.html‎

Lines changed: 1 addition & 1 deletion
Large diffs are not rendered by default.

‎site/static/formal-spec/Leios.Network.html‎

Lines changed: 1 addition & 1 deletion
Large diffs are not rendered by default.

‎site/static/formal-spec/Leios.Short.Trace.Verifier.html‎

Lines changed: 1 addition & 1 deletion
Large diffs are not rendered by default.

‎site/static/formal-spec/search-index.json‎

Lines changed: 1 addition & 1 deletion
Large diffs are not rendered by default.

0 commit comments

Comments
 (0)