May 06, 8-9 AM (106)
May 06, 9-10 AM (27)
May 06, 10-11 AM (41)
May 06, 11-12 PM (46)
May 06, 12-1 PM (86)
May 06, 1-2 PM (53)
May 06, 2-3 PM (44)
May 06, 3-4 PM (33)
May 06, 4-5 PM (18)
May 06, 5-6 PM (8)
May 06, 6-7 PM (12)
May 06, 7-8 PM (26)
May 06, 8-9 PM (13)
May 06, 9-10 PM (9)
May 06, 10-11 PM (30)
May 06, 11-12 AM (23)
May 07, 12-1 AM (7)
May 07, 1-2 AM (2)
May 07, 2-3 AM (1)
May 07, 3-4 AM (10)
May 07, 4-5 AM (4)
May 07, 5-6 AM (33)
May 07, 6-7 AM (97)
May 07, 7-8 AM (235)
May 07, 8-9 AM (42)
May 07, 9-10 AM (29)
May 07, 10-11 AM (55)
May 07, 11-12 PM (40)
May 07, 12-1 PM (59)
May 07, 1-2 PM (48)
May 07, 2-3 PM (47)
May 07, 3-4 PM (44)
May 07, 4-5 PM (58)
May 07, 5-6 PM (10)
May 07, 6-7 PM (24)
May 07, 7-8 PM (30)
May 07, 8-9 PM (12)
May 07, 9-10 PM (18)
May 07, 10-11 PM (65)
May 07, 11-12 AM (20)
May 08, 12-1 AM (6)
May 08, 1-2 AM (19)
May 08, 2-3 AM (19)
May 08, 3-4 AM (8)
May 08, 4-5 AM (3)
May 08, 5-6 AM (20)
May 08, 6-7 AM (19)
May 08, 7-8 AM (53)
May 08, 8-9 AM (34)
May 08, 9-10 AM (12)
May 08, 10-11 AM (32)
May 08, 11-12 PM (40)
May 08, 12-1 PM (30)
May 08, 1-2 PM (46)
May 08, 2-3 PM (46)
May 08, 3-4 PM (26)
May 08, 4-5 PM (23)
May 08, 5-6 PM (29)
May 08, 6-7 PM (15)
May 08, 7-8 PM (10)
May 08, 8-9 PM (15)
May 08, 9-10 PM (16)
May 08, 10-11 PM (23)
May 08, 11-12 AM (12)
May 09, 12-1 AM (4)
May 09, 1-2 AM (1)
May 09, 2-3 AM (0)
May 09, 3-4 AM (6)
May 09, 4-5 AM (6)
May 09, 5-6 AM (2)
May 09, 6-7 AM (6)
May 09, 7-8 AM (4)
May 09, 8-9 AM (4)
May 09, 9-10 AM (3)
May 09, 10-11 AM (9)
May 09, 11-12 PM (6)
May 09, 12-1 PM (21)
May 09, 1-2 PM (24)
May 09, 2-3 PM (12)
May 09, 3-4 PM (14)
May 09, 4-5 PM (7)
May 09, 5-6 PM (0)
May 09, 6-7 PM (2)
May 09, 7-8 PM (3)
May 09, 8-9 PM (1)
May 09, 9-10 PM (8)
May 09, 10-11 PM (33)
May 09, 11-12 AM (16)
May 10, 12-1 AM (15)
May 10, 1-2 AM (0)
May 10, 2-3 AM (0)
May 10, 3-4 AM (5)
May 10, 4-5 AM (0)
May 10, 5-6 AM (4)
May 10, 6-7 AM (0)
May 10, 7-8 AM (17)
May 10, 8-9 AM (8)
May 10, 9-10 AM (1)
May 10, 10-11 AM (26)
May 10, 11-12 PM (4)
May 10, 12-1 PM (49)
May 10, 1-2 PM (18)
May 10, 2-3 PM (8)
May 10, 3-4 PM (15)
May 10, 4-5 PM (26)
May 10, 5-6 PM (11)
May 10, 6-7 PM (7)
May 10, 7-8 PM (23)
May 10, 8-9 PM (12)
May 10, 9-10 PM (10)
May 10, 10-11 PM (29)
May 10, 11-12 AM (19)
May 11, 12-1 AM (12)
May 11, 1-2 AM (5)
May 11, 2-3 AM (5)
May 11, 3-4 AM (7)
May 11, 4-5 AM (3)
May 11, 5-6 AM (12)
May 11, 6-7 AM (28)
May 11, 7-8 AM (60)
May 11, 8-9 AM (34)
May 11, 9-10 AM (77)
May 11, 10-11 AM (55)
May 11, 11-12 PM (78)
May 11, 12-1 PM (84)
May 11, 1-2 PM (102)
May 11, 2-3 PM (41)
May 11, 3-4 PM (27)
May 11, 4-5 PM (24)
May 11, 5-6 PM (26)
May 11, 6-7 PM (42)
May 11, 7-8 PM (53)
May 11, 8-9 PM (57)
May 11, 9-10 PM (22)
May 11, 10-11 PM (49)
May 11, 11-12 AM (19)
May 12, 12-1 AM (2)
May 12, 1-2 AM (2)
May 12, 2-3 AM (3)
May 12, 3-4 AM (4)
May 12, 4-5 AM (8)
May 12, 5-6 AM (11)
May 12, 6-7 AM (17)
May 12, 7-8 AM (25)
May 12, 8-9 AM (25)
May 12, 9-10 AM (35)
May 12, 10-11 AM (82)
May 12, 11-12 PM (98)
May 12, 12-1 PM (38)
May 12, 1-2 PM (69)
May 12, 2-3 PM (54)
May 12, 3-4 PM (40)
May 12, 4-5 PM (56)
May 12, 5-6 PM (29)
May 12, 6-7 PM (24)
May 12, 7-8 PM (24)
May 12, 8-9 PM (16)
May 12, 9-10 PM (8)
May 12, 10-11 PM (40)
May 12, 11-12 AM (19)
May 13, 12-1 AM (10)
May 13, 1-2 AM (2)
May 13, 2-3 AM (4)
May 13, 3-4 AM (2)
May 13, 4-5 AM (5)
May 13, 5-6 AM (25)
May 13, 6-7 AM (7)
May 13, 7-8 AM (11)
May 13, 8-9 AM (1)
4,331 commits this week
May 06, 2026
-
May 13, 2026
gRPC: Add evalTx method
Merge branch 'main' into fix/pinned-dependencies
gRPC: fix swapped constant and fee coefficient
Merge pull request #5365 from IntersectMBO/coot/nix-all
nix: build all components
Merge remote-tracking branch 'origin/develop' into refactor/assets-store-ext
docs(5285): spec for dropping cardano-api from Shelley/Transaction.hs
Spec under specs/006-drop-api-shelley-tx/ covering issue #5285: three independently-shippable vertical stories (P1 cert helpers, P2 body construction, P3 signTransaction) under parent epic #5237.
Merge pull request #5826 from IntersectMBO/td/adapt-testchain-to-stanntx
Fix trace construction in `TestChain`
ci: allow tag-only releases in release-clients workflow
Restructure the input validation in the "Set version for clients" step so REVISION is only required and validated in the revision-based release path, and RELEASE_TAG is only validated in the tag-based path. The previous version validated REVISION unconditionally, which broke workflow_dispatch invocations that supply only releaseTag (with revision left empty) — the path that takes VERSION_TAG directly from the release tag. Reported by Codex on #1784. Signed-off-by: Yurii Shynbuiev <[email protected]>
fix(pollux): add exp/nbf validation and fix error logging in SDJWT.verify (#556)
Signed-off-by: Abhigyan Singh <[email protected]>
Re-parameterize moved Equivalence.Map for src-lib-exts
Now that the file lives at `src-lib-exts/abstract-set-theory/Axiom/Set/Map/Extra.lagda.md`: + Update the top-level module declaration to `module abstract-set-theory.Axiom.Set.Map.Extra (th : Theory) where`, matching the rest of the abstract-set-theory subtree. + Replace `open import Ledger.Prelude` with explicit imports from `abstract-set-theory.Prelude` and stdlib modules. `src-lib-exts/` cannot depend on `Ledger.Prelude` (upward dependency). + Inline the five-line `_≢ᵐ_` definition that previously lived in the standalone `Extra.agda`, and delete `Extra.agda`. + Convert the file to literate-markdown formatting with brief section prose; the module body is otherwise unchanged. + Update the single downstream caller (`Ledger.Conway.Conformance.Equivalence.Deposits`) to import from the new location. Closes #1194.
Move Equivalence.Map to src-lib-exts (rename only)
git-mv `src/Ledger/Conway/Conformance/Equivalence/Map.lagda.md` to `src-lib-exts/abstract-set-theory/Axiom/Set/Map/Extra.lagda.md`. Pure rename — the file's module header and content are unchanged in this commit, so the project does not typecheck between this commit and the next. The next commit re-parameterizes the moved module for its new location, deletes the old `Extra.agda`, and updates the one caller. Splitting the rename from the edit keeps git rename detection unambiguous and the content-edit diff readable. Delete `Extra.agda`; the five-line `_≢ᵐ_` definition that previously lived there will be added to the new Extra.lagda.md in the next commit.
fix: include the era tag in the transactions serialization
Signed-off-by: Eric Torreborre <[email protected]>
ci: harden release workflows and pin npm install
- Replace `npm install` / `npm i` with `npm ci` in integration-tests and release workflows so CI uses the committed lockfile (and falls back to `npm install --package-lock-only && npm ci` when no lockfile is present, as in tests/didcomm-tests). - Pin Node.js to `22.16.0` (was `lts/*`) for reproducibility. - Pin and verify the npm 11.5.1 tarball via SHA-256 before global install, to defend against registry compromise. - Add input validation for the `revision` and `releaseTag` workflow inputs (allow only [A-Za-z0-9._-]) to prevent shell injection in `release-clients.yml`. Supersedes #1684 by @mineme0110, which had been idle since the `CHANGES_REQUESTED` review in 2025-12. The current diff already addresses the reviewer's feedback (`npm ci` switch with a fallback for the lockfile-less directory). Co-authored-by: Shailesh Patil <[email protected]> Signed-off-by: Yurii Shynbuiev <[email protected]>
fix(halo2_ivc): pass OsRng to ForeignEccChip::new for midnight-circuits 6.1.0
chore: factor-out ledger cache version into a workflow env var.
Signed-off-by: KtorZ <[email protected]>
chore: fix CI cache to sccache
From Mozilla, meant to better leverage intermediate compilation artifacts whenever possible. Built as a wrapper around the compiler. Expecting speed-ups ranging from 15-20% less build time on warm cache. Note: I am unsure about how the action is going to handle conflicting cache updates to the github action cache; so, let's see and iterate if needs be. Signed-off-by: KtorZ <[email protected]>
chore: set build flags to reduce compilation time.
Signed-off-by: KtorZ <[email protected]>
Merge branch 'main' into dependabot/github_actions/actions-deps-78396b2be8
docs(website): add Daedalus case study page
Introduce a Case Studies docs section with a Daedalus entry covering Mithril-based initial sync, including navbar dropdown, sidebar, and wordmark styling. Co-Authored-By: Claude Opus 4.7 (1M context) <[email protected]>
chore: update translation progress from Crowdin [skip ci]
fix: bump CI action versions, use ubuntu-24.04, remove buildjet runners.
Signed-off-by: KtorZ <[email protected]>
Use published NATS client 0.0.10
Fix LEDGER trace construction by threading state when building StAnnTx