Update src/Ledger/Conway/Specification/Gov/Actions.lagda.md
Co-authored-by: Carlos Tomé Cortiñas <[email protected]>
Oct 10, 4-5 AM (9)
Oct 10, 5-6 AM (14)
Oct 10, 6-7 AM (27)
Oct 10, 7-8 AM (32)
Oct 10, 8-9 AM (94)
Oct 10, 9-10 AM (50)
Oct 10, 10-11 AM (104)
Oct 10, 11-12 PM (37)
Oct 10, 12-1 PM (45)
Oct 10, 1-2 PM (61)
Oct 10, 2-3 PM (55)
Oct 10, 3-4 PM (43)
Oct 10, 4-5 PM (25)
Oct 10, 5-6 PM (19)
Oct 10, 6-7 PM (5)
Oct 10, 7-8 PM (27)
Oct 10, 8-9 PM (16)
Oct 10, 9-10 PM (17)
Oct 10, 10-11 PM (20)
Oct 10, 11-12 AM (15)
Oct 11, 12-1 AM (2)
Oct 11, 1-2 AM (0)
Oct 11, 2-3 AM (0)
Oct 11, 3-4 AM (3)
Oct 11, 4-5 AM (1)
Oct 11, 5-6 AM (1)
Oct 11, 6-7 AM (2)
Oct 11, 7-8 AM (1)
Oct 11, 8-9 AM (5)
Oct 11, 9-10 AM (3)
Oct 11, 10-11 AM (0)
Oct 11, 11-12 PM (1)
Oct 11, 12-1 PM (0)
Oct 11, 1-2 PM (2)
Oct 11, 2-3 PM (1)
Oct 11, 3-4 PM (5)
Oct 11, 4-5 PM (2)
Oct 11, 5-6 PM (1)
Oct 11, 6-7 PM (0)
Oct 11, 7-8 PM (6)
Oct 11, 8-9 PM (1)
Oct 11, 9-10 PM (0)
Oct 11, 10-11 PM (19)
Oct 11, 11-12 AM (22)
Oct 12, 12-1 AM (0)
Oct 12, 1-2 AM (1)
Oct 12, 2-3 AM (0)
Oct 12, 3-4 AM (4)
Oct 12, 4-5 AM (1)
Oct 12, 5-6 AM (2)
Oct 12, 6-7 AM (0)
Oct 12, 7-8 AM (0)
Oct 12, 8-9 AM (1)
Oct 12, 9-10 AM (0)
Oct 12, 10-11 AM (0)
Oct 12, 11-12 PM (2)
Oct 12, 12-1 PM (0)
Oct 12, 1-2 PM (20)
Oct 12, 2-3 PM (10)
Oct 12, 3-4 PM (3)
Oct 12, 4-5 PM (2)
Oct 12, 5-6 PM (1)
Oct 12, 6-7 PM (1)
Oct 12, 7-8 PM (0)
Oct 12, 8-9 PM (5)
Oct 12, 9-10 PM (1)
Oct 12, 10-11 PM (21)
Oct 12, 11-12 AM (18)
Oct 13, 12-1 AM (2)
Oct 13, 1-2 AM (2)
Oct 13, 2-3 AM (5)
Oct 13, 3-4 AM (7)
Oct 13, 4-5 AM (3)
Oct 13, 5-6 AM (14)
Oct 13, 6-7 AM (9)
Oct 13, 7-8 AM (48)
Oct 13, 8-9 AM (103)
Oct 13, 9-10 AM (66)
Oct 13, 10-11 AM (68)
Oct 13, 11-12 PM (42)
Oct 13, 12-1 PM (40)
Oct 13, 1-2 PM (34)
Oct 13, 2-3 PM (18)
Oct 13, 3-4 PM (39)
Oct 13, 4-5 PM (20)
Oct 13, 5-6 PM (57)
Oct 13, 6-7 PM (4)
Oct 13, 7-8 PM (27)
Oct 13, 8-9 PM (24)
Oct 13, 9-10 PM (7)
Oct 13, 10-11 PM (26)
Oct 13, 11-12 AM (15)
Oct 14, 12-1 AM (3)
Oct 14, 1-2 AM (3)
Oct 14, 2-3 AM (2)
Oct 14, 3-4 AM (6)
Oct 14, 4-5 AM (5)
Oct 14, 5-6 AM (13)
Oct 14, 6-7 AM (14)
Oct 14, 7-8 AM (39)
Oct 14, 8-9 AM (69)
Oct 14, 9-10 AM (60)
Oct 14, 10-11 AM (41)
Oct 14, 11-12 PM (31)
Oct 14, 12-1 PM (102)
Oct 14, 1-2 PM (41)
Oct 14, 2-3 PM (62)
Oct 14, 3-4 PM (27)
Oct 14, 4-5 PM (25)
Oct 14, 5-6 PM (45)
Oct 14, 6-7 PM (20)
Oct 14, 7-8 PM (12)
Oct 14, 8-9 PM (10)
Oct 14, 9-10 PM (7)
Oct 14, 10-11 PM (33)
Oct 14, 11-12 AM (24)
Oct 15, 12-1 AM (18)
Oct 15, 1-2 AM (12)
Oct 15, 2-3 AM (5)
Oct 15, 3-4 AM (8)
Oct 15, 4-5 AM (1)
Oct 15, 5-6 AM (3)
Oct 15, 6-7 AM (42)
Oct 15, 7-8 AM (42)
Oct 15, 8-9 AM (47)
Oct 15, 9-10 AM (101)
Oct 15, 10-11 AM (38)
Oct 15, 11-12 PM (74)
Oct 15, 12-1 PM (63)
Oct 15, 1-2 PM (43)
Oct 15, 2-3 PM (34)
Oct 15, 3-4 PM (10)
Oct 15, 4-5 PM (16)
Oct 15, 5-6 PM (11)
Oct 15, 6-7 PM (16)
Oct 15, 7-8 PM (3)
Oct 15, 8-9 PM (8)
Oct 15, 9-10 PM (12)
Oct 15, 10-11 PM (25)
Oct 15, 11-12 AM (13)
Oct 16, 12-1 AM (5)
Oct 16, 1-2 AM (7)
Oct 16, 2-3 AM (7)
Oct 16, 3-4 AM (39)
Oct 16, 4-5 AM (4)
Oct 16, 5-6 AM (16)
Oct 16, 6-7 AM (49)
Oct 16, 7-8 AM (40)
Oct 16, 8-9 AM (58)
Oct 16, 9-10 AM (50)
Oct 16, 10-11 AM (56)
Oct 16, 11-12 PM (46)
Oct 16, 12-1 PM (89)
Oct 16, 1-2 PM (27)
Oct 16, 2-3 PM (40)
Oct 16, 3-4 PM (39)
Oct 16, 4-5 PM (43)
Oct 16, 5-6 PM (25)
Oct 16, 6-7 PM (12)
Oct 16, 7-8 PM (13)
Oct 16, 8-9 PM (13)
Oct 16, 9-10 PM (11)
Oct 16, 10-11 PM (26)
Oct 16, 11-12 AM (12)
Oct 17, 12-1 AM (3)
Oct 17, 1-2 AM (6)
Oct 17, 2-3 AM (8)
Oct 17, 3-4 AM (7)
Oct 17, 4-5 AM (4)
3,655 commits this week
Oct 10, 2025
-
Oct 17, 2025
Update src/Interface/STS.lagda.md
Co-authored-by: Carlos Tomé Cortiñas <[email protected]>
Update src/Interface/STS.lagda.md
Co-authored-by: Carlos Tomé Cortiñas <[email protected]>
Preliminary ghc-9.14 support
Currently using ghc-9.14.0.20251007.
Deploying to gh-pages from @ cardano-scaling/hydra@3ed269dc07fd0c5e39c19610b1b58080754be6dc 🚀
chore: remove useless comments
![github-actions[bot]](https://avatars.githubusercontent.com/in/15368?v=4&s=80)
Fix misattribution of `races` docs to `nextUnique`
fix(webauthn utils): export through root
Merge remote-tracking branch 'origin/master' into fix-9.12-redistributable
chore: remove unused logic
Merge remote-tracking branch 'origin/master' into angerman/fix-aarch64-android-9.6.6
Switch CI eval to `aarch64-darwin` (#2436)
* Switch CI eval to `aarch64-darwin` * Disable TH tests for Windows and Android * Just test a small subset of the full CI * Disable hydraJobs.nix-tools * Trigger some IFDs * Trigger some IFDs * Trigger some IFDs * Trigger some IFDs * Trigger some IFDs * Turn all the CI back on * Disable test broken on current CI * Disable tests broken on current CI * Bump nixpkgs * Remove dependencies on old nixpkgs ghc versions * Fix for macOS * Fix for android tests * Possible fix for wasm issue * Update wasm to llvm 21 * Ignore test broken by upgrading warning to error * Expect error not warning for llvm test * Expect error not warning for llvm test * Bump nixpkgs * Use latest llvm * Use llvm <21 for now * Use nixpkgs 25.05 for older llvm versions * Use pkgsBuildBuild.nodejs (not buildPackages.nodejs) * Use llvm <20 for now * nix flake update nixpkgs-unstable * Disable broken tests * Use $out/build for GHC builds * Disable broken tests * Fix warning * Fix for wasm
feat: Add stake account parsing with minicbor Decode pattern
- Added Account struct in account.rs with minicbor Decode trait - Implemented DRep enum for governance delegation (Key/Script/Abstain/NoConfidence) - Added DState parsing to extract 1.41M stake accounts from Conway snapshot - Parse UMap structure containing BTreeMap<StakeCredential, Account> - Extract rewards, SPO delegations, and DRep delegations from accounts - Convert ledger Account (StrictMaybe) to API AccountState (Option) - Successfully tested parsing 11.2M UTXOs, 3,095 pools, 1.41M accounts, 278 DReps - Performance: ~2.2M UTXOs/second, ~5.1 second total parse time The implementation uses the existing Account type from account.rs with proper CBOR structure matching Cardano's DState format. Zero rewards and zero UTXOs are expected for many stake accounts (registered but inactive, withdrawn rewards, or newly created accounts). Accounts with non-zero rewards and pool delegations confirm the parsing is working correctly.
Added haskell-accumulator-1.0.0.0
From https://github.com/cardano-scaling/haskell-accumulator at bb606b4b17dafd90d6fae79a761c2b781d7b904c
Add hydra team to codeowners
build(nix): add rust-accumulator and map pkg-config for librust_accumulator
• Add rust-accumulator as a flake input and wire into outputs • Expose librust_accumulator via overlay • Extend haskell-nix extraPkgconfigMappings to include librust_accumulator • Set extraPkgconfigMappings in nix/builder.nix to enable linking via pkg- config
![dependabot[bot]](https://avatars.githubusercontent.com/in/29110?v=4&s=80)
Bump chromedriver from 141.0.1 to 141.0.3 in /packages/e2e-tests
Bumps [chromedriver](https://github.com/giggio/node-chromedriver) from 141.0.1 to 141.0.3. - [Commits](https://github.com/giggio/node-chromedriver/compare/141.0.1...141.0.3) --- updated-dependencies: - dependency-name: chromedriver dependency-version: 141.0.3 dependency-type: direct:development update-type: version-update:semver-patch ... Signed-off-by: dependabot[bot] <[email protected]>