Attempt to fix lean cache in CI
Home /
Input Output /
ouroboros-leios-sim
Jan 26, 3-4 AM (0)
Jan 26, 4-5 AM (0)
Jan 26, 5-6 AM (0)
Jan 26, 6-7 AM (0)
Jan 26, 7-8 AM (0)
Jan 26, 8-9 AM (0)
Jan 26, 9-10 AM (0)
Jan 26, 10-11 AM (0)
Jan 26, 11-12 PM (0)
Jan 26, 12-1 PM (0)
Jan 26, 1-2 PM (0)
Jan 26, 2-3 PM (0)
Jan 26, 3-4 PM (0)
Jan 26, 4-5 PM (0)
Jan 26, 5-6 PM (0)
Jan 26, 6-7 PM (0)
Jan 26, 7-8 PM (0)
Jan 26, 8-9 PM (0)
Jan 26, 9-10 PM (0)
Jan 26, 10-11 PM (0)
Jan 26, 11-12 AM (0)
Jan 27, 12-1 AM (0)
Jan 27, 1-2 AM (0)
Jan 27, 2-3 AM (0)
Jan 27, 3-4 AM (0)
Jan 27, 4-5 AM (0)
Jan 27, 5-6 AM (0)
Jan 27, 6-7 AM (0)
Jan 27, 7-8 AM (0)
Jan 27, 8-9 AM (0)
Jan 27, 9-10 AM (0)
Jan 27, 10-11 AM (0)
Jan 27, 11-12 PM (0)
Jan 27, 12-1 PM (0)
Jan 27, 1-2 PM (0)
Jan 27, 2-3 PM (0)
Jan 27, 3-4 PM (0)
Jan 27, 4-5 PM (0)
Jan 27, 5-6 PM (0)
Jan 27, 6-7 PM (0)
Jan 27, 7-8 PM (0)
Jan 27, 8-9 PM (1)
Jan 27, 9-10 PM (0)
Jan 27, 10-11 PM (0)
Jan 27, 11-12 AM (0)
Jan 28, 12-1 AM (0)
Jan 28, 1-2 AM (0)
Jan 28, 2-3 AM (0)
Jan 28, 3-4 AM (0)
Jan 28, 4-5 AM (0)
Jan 28, 5-6 AM (0)
Jan 28, 6-7 AM (0)
Jan 28, 7-8 AM (1)
Jan 28, 8-9 AM (1)
Jan 28, 9-10 AM (0)
Jan 28, 10-11 AM (1)
Jan 28, 11-12 PM (0)
Jan 28, 12-1 PM (0)
Jan 28, 1-2 PM (1)
Jan 28, 2-3 PM (0)
Jan 28, 3-4 PM (0)
Jan 28, 4-5 PM (0)
Jan 28, 5-6 PM (2)
Jan 28, 6-7 PM (0)
Jan 28, 7-8 PM (0)
Jan 28, 8-9 PM (1)
Jan 28, 9-10 PM (0)
Jan 28, 10-11 PM (0)
Jan 28, 11-12 AM (0)
Jan 29, 12-1 AM (0)
Jan 29, 1-2 AM (0)
Jan 29, 2-3 AM (0)
Jan 29, 3-4 AM (0)
Jan 29, 4-5 AM (0)
Jan 29, 5-6 AM (0)
Jan 29, 6-7 AM (0)
Jan 29, 7-8 AM (0)
Jan 29, 8-9 AM (0)
Jan 29, 9-10 AM (0)
Jan 29, 10-11 AM (0)
Jan 29, 11-12 PM (0)
Jan 29, 12-1 PM (0)
Jan 29, 1-2 PM (0)
Jan 29, 2-3 PM (0)
Jan 29, 3-4 PM (0)
Jan 29, 4-5 PM (1)
Jan 29, 5-6 PM (0)
Jan 29, 6-7 PM (0)
Jan 29, 7-8 PM (1)
Jan 29, 8-9 PM (0)
Jan 29, 9-10 PM (4)
Jan 29, 10-11 PM (0)
Jan 29, 11-12 AM (0)
Jan 30, 12-1 AM (0)
Jan 30, 1-2 AM (0)
Jan 30, 2-3 AM (0)
Jan 30, 3-4 AM (0)
Jan 30, 4-5 AM (0)
Jan 30, 5-6 AM (0)
Jan 30, 6-7 AM (0)
Jan 30, 7-8 AM (0)
Jan 30, 8-9 AM (0)
Jan 30, 9-10 AM (0)
Jan 30, 10-11 AM (0)
Jan 30, 11-12 PM (0)
Jan 30, 12-1 PM (0)
Jan 30, 1-2 PM (0)
Jan 30, 2-3 PM (1)
Jan 30, 3-4 PM (0)
Jan 30, 4-5 PM (0)
Jan 30, 5-6 PM (0)
Jan 30, 6-7 PM (0)
Jan 30, 7-8 PM (0)
Jan 30, 8-9 PM (3)
Jan 30, 9-10 PM (0)
Jan 30, 10-11 PM (2)
Jan 30, 11-12 AM (0)
Jan 31, 12-1 AM (1)
Jan 31, 1-2 AM (1)
Jan 31, 2-3 AM (0)
Jan 31, 3-4 AM (0)
Jan 31, 4-5 AM (0)
Jan 31, 5-6 AM (0)
Jan 31, 6-7 AM (0)
Jan 31, 7-8 AM (0)
Jan 31, 8-9 AM (0)
Jan 31, 9-10 AM (0)
Jan 31, 10-11 AM (0)
Jan 31, 11-12 PM (0)
Jan 31, 12-1 PM (0)
Jan 31, 1-2 PM (0)
Jan 31, 2-3 PM (0)
Jan 31, 3-4 PM (0)
Jan 31, 4-5 PM (0)
Jan 31, 5-6 PM (0)
Jan 31, 6-7 PM (0)
Jan 31, 7-8 PM (0)
Jan 31, 8-9 PM (0)
Jan 31, 9-10 PM (0)
Jan 31, 10-11 PM (0)
Jan 31, 11-12 AM (0)
Feb 01, 12-1 AM (0)
Feb 01, 1-2 AM (0)
Feb 01, 2-3 AM (0)
Feb 01, 3-4 AM (0)
Feb 01, 4-5 AM (0)
Feb 01, 5-6 AM (0)
Feb 01, 6-7 AM (0)
Feb 01, 7-8 AM (0)
Feb 01, 8-9 AM (0)
Feb 01, 9-10 AM (0)
Feb 01, 10-11 AM (0)
Feb 01, 11-12 PM (0)
Feb 01, 12-1 PM (0)
Feb 01, 1-2 PM (0)
Feb 01, 2-3 PM (0)
Feb 01, 3-4 PM (0)
Feb 01, 4-5 PM (0)
Feb 01, 5-6 PM (0)
Feb 01, 6-7 PM (0)
Feb 01, 7-8 PM (0)
Feb 01, 8-9 PM (0)
Feb 01, 9-10 PM (0)
Feb 01, 10-11 PM (0)
Feb 01, 11-12 AM (0)
Feb 02, 12-1 AM (0)
Feb 02, 1-2 AM (0)
Feb 02, 2-3 AM (0)
Feb 02, 3-4 AM (0)
22 commits this week
Jan 26, 2026
-
Feb 02, 2026
Added constraints on registry and contexts
ByteArray support for basic and primitive types
Aligned registry module with new bls module
Annotation and minor refactoring
![github-actions[bot]](https://avatars.githubusercontent.com/in/15368?v=4&s=80)
Update formal specification documentation
- Updated from ouroboros-leios-formal-spec repository - Run ID: 21520890031 - Triggered by: repository_dispatch
Accept flake config in docs workflow
Generate formal-spec HTML on-demand with nix
Stop committing 102MB of generated formal-spec HTML files to git. Instead, build them on-demand during the docs workflow using nix and enhance with the existing agda-web-docs-lib GitHub Action. Changes: - Add nix build steps to docs.yaml workflow to generate formal-spec HTML - Enhance generated HTML with agda-web-docs-lib action (search, nav, themes) - Gitignore site/static/formal-spec/ directory - Remove 601 committed HTML files (102MB) - Replace formal-spec-listener workflow to update flake input instead of committing HTML files Benefits: - Eliminates 102MB from git working tree - Prevents bloating git history with regenerated files - Formal-spec HTML is reproducibly built from pinned flake input - Automated formal-spec updates via listener workflow Co-Authored-By: Claude Sonnet 4.5 <[email protected]>
deploy: 9488b9ea6c6db87c1736dd5a7dcf646a53bd9357
Merge pull request #751 from input-output-hk/ch1bo/remove-weekly-updates
Site: remove weekly updates
Using experimental DeltaQ backend
Created skeletons for votes and certificates
Implemented looking up pools safely by their index
Implemented safe lookup of pools in registry
demo: nix flake lock --update-input cardano-node-leios
ouroboros-leios/demo/proto-devnet $ cardano-node --version cardano-node 10.5.1 - linux-x86_64 - ghc-9.6 git rev 00405653065bd317e42f3ad7391a5c05879ea6b5
Put mempool capacity in config and tx-generator config
This should lead to a lower setup time, but also an overall quicker workload.
demo: Add ranking/endorser block transaction counts to the Grafana dashboard
chore: Apply `nix fmt`
Specified registry and proved deregistration