Skip to content

Commit f01e8e7

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

File tree

3 files changed

+3
-3
lines changed

3 files changed

+3
-3
lines changed

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

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

‎site/static/formal-spec/Network.Leios.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)