Home / Reports / Dec 24, 2025

Wednesday, December 24, 2025

300 commits had been pushed across 33 repos by 35 authors. There were 439,075 additions and 26,005 deletions. Official weekly status updates can be found on essentialcardano.io.

Authors

Repos Updated

Commit Log

00:05:57 [de8be28e] :bento: Update graphs [skip ci] (cf-cip1694-ballot-status)
00:12:16 [981ed3cc] :pencil: Update summary in README [skip ci] [upptime] (cf-token-metadata-registry-status)
00:12:17 [8b1eecf9] :card_file_box: Update status summary [skip ci] [upptime] (cf-token-metadata-registry-status)
00:14:05 [d94a9025] Automatic Update (stackage.nix)
00:14:16 [b8cfb04f] Force memobytes (cardano-ledger)
00:15:43 [ebe2d2bd] :bento: Update graphs [skip ci] (cf-token-metadata-registry-status)
00:17:45 [750aae3b] :bento: Update graphs [skip ci] (cf-summit-evoting-status)
00:18:30 [d08fc0c0] Up `mdast-util-to-hast` version to 13.2.1 in docusaurus (#7503) (plutus)
00:19:22 [79b04316] Update documentation of plutus-benchmark (#7495) (plutus)
00:27:13 [5bb7824e] :card_file_box: Update status summary [skip ci] [upptime] (cf-cip1694-ballot-status)
00:27:13 [cf0cb818] :pencil: Update summary in README [skip ci] [upptime] (cf-cip1694-ballot-status)
00:29:20 [fd9469ea] Update CHaP and hackage-nix flake inputs (cardano-haskell-package-repo)
00:34:33 [b1543ee2] :pencil: Update summary in README [skip ci] [upptime] (cf-summit-evoting-status)
00:34:33 [c3657348] :card_file_box: Update status summary [skip ci] [upptime] (cf-summit-evoting-status)
00:36:16 [e322df73] Force the hash too (cardano-ledger)
00:38:22 [fe3a5961] refactor(math): clean up fmt (pallas)
00:43:38 [5354ace6] feat(hermes): Implement quiet timers (#707) (hermes)
00:52:13 [d2f704ce] Update Hackage and Stackage (haskell.nix)
01:01:24 [a759810e] Use the memoized hash, instead of recomputing it from original bytes (ouroboros-consensus)
01:14:21 [ec50876b] Use the memoized hash, instead of recomputing it from original bytes (ouroboros-consensus)
02:05:45 [3193550c] add Plutus Benchmarks (customSmallerIsBetter) benchmark result for d08fc0c048594325886b7b7e7cdd3b810e431046 (plutus)
02:25:14 [c6d9f85d] Scheduled update (pool_groups)
02:29:15 [0babddbc] only promote YORO3 (adapools-yoroi-frontend)
04:10:17 [dcc63e3c] Deploying to gh-pages from @ IntersectMBO/plutus@d08fc0c048594325886b7b7e7cdd3b810e431046 🚀 (plutus)
05:03:12 [0fcd7fbb] Deploying to gh-pages from @ IntersectMBO/plutus@d08fc0c048594325886b7b7e7cdd3b810e431046 🚀 (plutus)
05:34:44 [342e569d] Update src/API/api.js (adapools-yoroi-frontend)
07:07:14 [b4338e5c] Initial work on SignableRepresentation instance of Snapshot (hydra-poc)
07:07:14 [262e3741] Introduce HasAccumulatorElement class (hydra-poc)
07:07:14 [fddc9cc1] Fix test (hydra-poc)
07:07:14 [ce06c3a2] Fix (hydra-poc)
07:07:14 [87406b64] Try (hydra-poc)
07:07:15 [470e5504] Remove utxoHash from Snapshot (hydra-poc)
07:07:15 [f0fcc4c3] Fix plutus tests (hydra-poc)
07:07:15 [2765d639] Remove leftover fn from IsTx class (hydra-poc)
07:07:15 [50a7c776] Minimise golden test changes (hydra-poc)
07:07:15 [1deb1486] Fix tests (hydra-poc)
07:07:15 [045d3b9e] Changeserialisation and signature verification (hydra-poc)
07:07:15 [eb324768] Add accumulator to snapshot (hydra-poc)
07:07:16 [956afb69] Use new haskell-accumulator-1.1.0.0 (hydra-poc)
07:07:16 [fd0e0853] Temporary add acc fn to weeder ignore (hydra-poc)
07:07:16 [1c9bee15] Add useful fns, change the way we create acc (hydra-poc)
07:07:16 [203c71de] Remove crs from Snapshot (hydra-poc)
07:07:16 [f392a656] Regenerate scripts{ (hydra-poc)
07:07:16 [c8aca622] Fix (hydra-poc)
07:07:16 [f15a73c4] Simplify golden test diff (hydra-poc)
07:07:17 [3abd80fa] Produce correct Element from UTxO (hydra-poc)
07:07:17 [d32f34dd] Fork cardano-api until upstream is fixed (hydra-poc)
07:07:17 [bdf93145] Bump cardano-node to 10.6.1 (hydra-poc)
07:07:17 [43558d88] Bump protocol version to 11 in hydra-tx (hydra-poc)
07:07:17 [edfaa71e] Fix the failing observer test (hydra-poc)
07:07:17 [d65e16b5] WIP: Start with the changes needed for on-chain check (hydra-poc)
07:07:17 [26c1fd7b] Add toCommit toDecommit utxo in accumulator, address review (hydra-poc)
07:07:18 [3a6831f3] Use patched cardano-api src package for now (hydra-poc)
07:07:18 [eaa79832] Bump plutus to 1.53 (hydra-poc)
07:07:18 [7e79721a] Bump to plutus 1.55 (hydra-poc)
07:07:18 [d5366b05] Use G1 crs for on-chain check (hydra-poc)
07:07:18 [a1a2a90f] Bump to cardano-api 10.20 and remove src-package (hydra-poc)
07:07:18 [5de28cfd] Setup for the on-chain checks (hydra-poc)
07:16:51 [c0c38048] Deploying to gh-pages from @ IntersectMBO/plutus@79b0431690d19985d1e8ab558dd46657fc0a1edb 🚀 (plutus)
07:26:51 [c23f9321] small cleanup (hermes)
07:32:01 [661062fc] Updated questions (ouroboros-leios-sim)
07:52:30 [d8f279c3] Deploying to gh-pages from @ IntersectMBO/plutus@79b0431690d19985d1e8ab558dd46657fc0a1edb 🚀 (plutus)
08:06:41 [173d55ae] reverts commit 7043008def62f76ffe75b9bd91350c2cb33f4808 (hermes)
08:43:13 [0e83aaff] Deploying to gh-pages from @ IntersectMBO/plutus@79b0431690d19985d1e8ab558dd46657fc0a1edb 🚀 (plutus)
08:57:08 [593589cf] Create BLS accumulator benchmartks with UTxO (hydra-poc)
09:03:57 [aaa66d33] change cid string to CID (hermes)
09:08:50 [7b74e69b] Update recent-updates.md (Intersect-knowledge-base)
09:48:25 [ece521e6] Resolving #653 (ouroboros-leios)
09:54:29 [cf1d7244] trace verifier doc updates (#703) (ouroboros-leios)
10:00:24 [d9a83a98] Create BLS accumulator benchmarks with UTxO (hydra-poc)
10:32:33 [54a40323] CDDL:core: Make smart-constructors more type-safe (cardano-ledger)
10:33:35 [e2fa610a] CDDL:shelley: Mk smart-constructors more type-safe (cardano-ledger)
10:34:14 [bdc91ca3] CDDL:allegra: Mk smart-constructors more type-safe (cardano-ledger)
10:34:44 [bbd19005] CDDL:mary: Make smart-constructors more type-safe (cardano-ledger)
10:35:03 [3d2fbc7c] CDDL:alonzo: Mk smart-constructors more type-safe (cardano-ledger)
10:35:28 [2052054a] CDDL:babbage: Mk smart-constructors more type-safe (cardano-ledger)
10:35:50 [2858cf90] CDDL:conway: Mk smart-constructors more type-safe (cardano-ledger)
10:36:09 [4d51d235] CDDL:dijkstra: Mk smart-constructors more type-safe (cardano-ledger)
10:51:53 [5ac0940d] fixing windows path (cardano-addresses)
10:55:10 [f13b6829] Introduce CRS validator (hydra-poc)
11:15:56 [1b384f01] Merge remote-tracking branch 'origin/yura/value-data-memory-models' into ana/use-new-memory-costing (plutus)
11:17:28 [78b9e7f2] Merge remote-tracking branch 'origin/master' into ana/value-costing-final (plutus)
11:18:01 [418e358f] Merge remote-tracking branch 'origin/master' into ana/use-new-memory-costing (plutus)
11:23:38 [cf51b765] feat(hermes): use cid instead of string (hermes)
11:24:00 [384afcf7] Deploy preview for PR 7504 🛫 (plutus)
11:29:40 [021bd661] wip (open-enterprise-agent)
11:29:40 [00877f63] todo (open-enterprise-agent)
11:29:40 [3714ff43] refactor: extract DIDServiceImpl into PrismNodeDIDService (open-enterprise-agent)
11:29:40 [63425596] Add NeoPrism DID service stub implementation (open-enterprise-agent)
11:29:41 [f8e05119] Replace PrismNode DID service with NeoPrism backend implementation (open-enterprise-agent)
11:29:41 [0a98bfbb] Implement NeoPrism DID resolution with metadata conversion (open-enterprise-agent)
11:29:41 [88f9ede2] Simplify NeoPrism DID resolution logic and remove unused import (open-enterprise-agent)
11:29:41 [ea5326e9] Extract NeoPrismClient from NeoPrismDIDService for separation of concerns (open-enterprise-agent)
11:29:42 [b40bd3c1] feat: implement transaction status checking for NeoPRISM operations (open-enterprise-agent)
11:29:42 [0ced0c55] style: reformat imports in Modules.scala (open-enterprise-agent)
11:29:42 [bf5aa3da] fix: use operation endpoint instead of transaction for status checks (open-enterprise-agent)
11:29:42 [b991d22a] Add signed operation submission to NeoPRISM DID service (open-enterprise-agent)
11:29:42 [9eeb5d24] feat: add configurable DID node backend selection (open-enterprise-agent)
11:29:43 [a5ff8e64] test: add neoprism backend support to integration tests (open-enterprise-agent)
11:29:43 [2778ea29] ci: add neoprism version and config to integration tests (open-enterprise-agent)
11:30:57 [8e64d4f9] remove tmp files (open-enterprise-agent)
11:41:20 [85d1aa9e] Add Value builtins to batch 6 (plutus)
11:46:58 [9b56e494] Integrate o-n 0.23 into tests (ouroboros-consensus)
11:51:37 [4b35a481] another shot (cardano-addresses)
11:53:34 [891e68e8] Stub implementation of `LedgerPeersConsensusInterface.getBlockHash` (ouroboros-consensus)
12:00:43 [256417be] Change type of `LedgerPeersConsensusInterface.getBlockHash` (ouroboros-network)
12:08:05 [b3d3d921] Point Network s-r-p to the integration branch (ouroboros-consensus)
12:15:38 [c411ba4c] Address review comments (plutus)
12:18:21 [b0ff39dd] chore(deps): bump actions/attest-build-provenance from 3.0.0 to 3.1.0 (#569) (adder)
12:18:51 [19415bee] chore(deps): bump docker/setup-buildx-action from 3.11.1 to 3.12.0 (#570) (adder)
12:33:08 [24d6c7f5] Add Peras Vote aggregation logic (ouroboros-consensus)
12:35:39 [d08ac897] Add PerasVoteDB API and implementation (ouroboros-consensus)
12:39:26 [81279424] Add definitions for PerasVote diffusion through ObjectDiffusion (ouroboros-consensus)
12:45:17 [98467ea2] Propagate readAnyScript and update golden file script hash (cardano-cli)
12:46:22 [164cfa5c] add zip to win artefact (cardano-addresses)
12:52:00 [4b81cea7] fix run (cardano-addresses)
13:07:04 [507f7908] Scheduled update (pool_groups)
13:18:21 [7a607023] Add Peras Vote aggregation logic (ouroboros-consensus)
13:20:48 [10872de3] Add PerasVoteDB API and implementation (ouroboros-consensus)
13:22:15 [26760c9f] Add definitions for PerasVote diffusion through ObjectDiffusion (ouroboros-consensus)
13:23:47 [bd3d5eb2] change ipfs-cid type string to bstr (hermes)
13:25:29 [748f5a45] Add changelog entry (ouroboros-consensus)
13:28:20 [7e83233a] fix run (cardano-addresses)
13:38:08 [5402187d] revert change (hermes)
13:41:08 [43c992f5] fix(ui): fix cannot join group when wallet have pending group profile (#1479) (cf-identity-wallet)
13:42:37 [e4c383a1] fix(ui): add rotate button to profile detail page (#1480) (cf-identity-wallet)
13:43:54 [d10f78ee] Merge branch 'main' into fix/doc-sync-p2p-propagation (hermes)
13:51:02 [0a06de3e] fix linter (hermes)
13:54:16 [fe713899] build(deps): bump actions/attest-build-provenance from 3.0.0 to 3.1.0 (#1147) (dingo)
13:54:46 [6d3eae15] build(deps): bump github.com/blinklabs-io/gouroboros (#1148) (dingo)
13:55:30 [34079f93] fix run (cardano-addresses)
13:56:53 [be305aa6] build(deps): bump docker/setup-buildx-action from 3.11.1 to 3.12.0 (#1146) (dingo)
13:58:12 [79211477] build(deps): bump actions/attest-build-provenance from 3.0.0 to 3.1.0 (#481) (cardano-up)
13:58:38 [e4f4f8e7] build(deps): bump docker/setup-buildx-action from 3.11.1 to 3.12.0 (#482) (cardano-up)
14:00:15 [9f3cd3ec] build(deps): bump github.com/aws/aws-sdk-go-v2/config (dingo)
14:01:02 [3ce60c32] build(deps): bump github.com/aws/aws-sdk-go-v2/service/s3 (dingo)
14:01:10 [04255b3a] chore(deps): Bump github.com/gdamore/tcell/v2 from 2.13.4 to 2.13.5 (#267) (txtop)
14:02:50 [bb4bdcc6] add zip to win artefact (cardano-addresses)
14:09:25 [aef808b0] one more try (cardano-addresses)
14:10:10 [692a87a4] Add comment to cse and remove test case that is not recognised by cse (plutus)
14:22:18 [276db65e] slim down (cardano-addresses)
14:24:57 [f0b9041a] Improve parser error handling with Megaparsec best practices (plutus)
14:28:49 [f9481bb5] Update 2025-12-24T14:28:49Z (capkgs)
14:37:19 [28892ed2] feat(hermes): add new document to smt (hermes)
14:45:53 [dadcd239] add zip to win artefact (cardano-addresses)
14:56:42 [60e6ac80] Avoid warning in flake.nix (cardano-haskell-packages)
14:56:46 [9b25d9f9] Update CHaP, hackage-nix, flake-utils flake inputs (cardano-haskell-packages)
14:58:01 [7bf948e7] Update remaining flake inputs (cardano-haskell-packages)
14:58:07 [dfa9b238] cardano-crypto-tests: add revisions (cardano-haskell-packages)
14:58:07 [cbf3d3f3] cardano-ledger-binary: add revision for 1.7.0.0 (cardano-haskell-packages)
14:59:34 [6580d3bd] Merge pull request #5495 from IntersectMBO/nm/ghc-9.12.2 (cardano-ledger)
15:01:10 [03375858] Add double refund test (cardano-ledger)
15:01:10 [82c84780] Review comments (cardano-ledger)
15:01:10 [5bf0bff2] Dijkstra subtx produced and consumed (cardano-ledger)
15:01:10 [bcea5980] Add a test (cardano-ledger)
15:02:11 [003fa3d5] Fix suggestions (cardano-ledger)
15:02:15 [ed13a21d] Added scls-core-0.1.0.0 (cardano-haskell-packages)
15:02:15 [21eb0f58] Added merkle-tree-incremental-0.1.0.0 (cardano-haskell-packages)
15:02:15 [ccd4542b] Added scls-cbor-0.1.0.0 (cardano-haskell-packages)
15:02:15 [c0a0955c] Added scls-util-0.1.0.0 (cardano-haskell-packages)
15:02:15 [6828bfcf] Added scls-cardano-0.1.0.0 (cardano-haskell-packages)
15:02:15 [a9ece2de] Add CODEOWNERS to the packages maintained by Tweag (cardano-haskell-packages)
15:02:15 [6318cfb6] Added scls-format-0.1.0.0 (cardano-haskell-packages)
15:02:32 [cb13915e] add Haskell Benchmark (customSmallerIsBetter) benchmark result for 6580d3bd8e7b810d7eac55e4478b1323ec242e31 (cardano-ledger)
15:12:51 [4e9e5ac1] Deprecate policy_hash IFO guardrails_script_hash. (cardano-ledger)
15:17:00 [9f17bb10] Fix tests (cardano-ledger)
15:17:00 [8f375eb2] Adjust `pparams-update` golden test values (cardano-ledger)
15:17:00 [1a49b945] Move `CoinPerByte` to `cardano-ledger-core` (cardano-ledger)
15:17:00 [a7ed426d] Refine some `lens` utilities (cardano-ledger)
15:17:00 [6e66103e] Apply suggestions from code review (cardano-ledger)
15:17:00 [185bb580] Rename `minFeeA` to `minFeeFactor` (cardano-ledger)
15:17:00 [c18cd5ee] Switch to `CoinPerByte` for `minFeeA` (cardano-ledger)
15:17:00 [0d242bd5] Rename `minFeeB` to `minFeeConstant` (cardano-ledger)
15:18:09 [2893d4e4] Deprecate policy_hash IFO guardrails_script_hash. (cardano-ledger)
15:19:51 [c1827bc4] Re-export constitutionGuardrailsScriptHashL. (cardano-ledger)
15:35:57 [eb84a12a] Let foliage use its own flake inputs (cardano-haskell-packages)
15:50:25 [3101abdf] Introduce CRS validator (hydra-poc)
16:19:21 [607e110f] cardano-crypto-tests: add revisions (cardano-haskell-package-repo)
16:20:50 [2e6df6dc] cardano-ledger-binary: add revision for 1.7.0.0 (cardano-haskell-package-repo)
16:27:23 [f14d3fa0] Hook new crs validator to script registry (hydra)
16:37:52 [fa3a1481] Update proposal voting contexts (Governance)
16:38:34 [bfdd8279] Remove CRS from Fanout redeemer (hydra-poc)
17:02:04 [bb3eea71] Use TxOutRef to find crs datum and hook everything on-chain (hydra-poc)
18:12:07 [829dd2ae] Call `SUBUTXO` from `SUBUTXOW` (cardano-ledger)
18:12:07 [d77553d4] Introduce `SUBUTXOS` rule (cardano-ledger)
18:12:07 [169df4e1] Call `SUBUTXOS` from `SUBUTXO` (cardano-ledger)
18:12:07 [c5303da1] Introduce `SUBCERT` and `SUBCERTS` rules (cardano-ledger)
18:12:07 [c2095686] Remove some redundant constraints of functions in Ledger rules (cardano-ledger)
18:12:07 [122e50cf] Call `SUBUTXOW` from `SUBLEDGER` (cardano-ledger-specs)
18:12:07 [0ee947e9] Introduce `SUBLEDGER` rule (cardano-ledger)
18:12:07 [b861e072] Introduce `conwayLedgerTransitionTRC` (cardano-ledger)
18:12:07 [776a00f5] Call `SUBCERTS` from `SUBLEDGER` (cardano-ledger-specs)
18:12:07 [6d0a485a] Introduce `SUBLEDGERS` rule (cardano-ledger)
18:12:07 [ecd4155a] Introduce `SUBGOV` rule (cardano-ledger)
18:12:07 [46cc0a2b] Call `SUBDELEG`, `SUBGOVCERT` and `SUBPOOL` from `SUBCERT` (cardano-ledger)
18:12:07 [4ade8a64] Call `SUBCERT` from `SUBCERTS` (cardano-ledger)
18:12:07 [167e8679] Call `SUBLEDGER` from `SUBLEDGERS` (cardano-ledger)
18:12:07 [ae4e3bb5] Introduce `SUBDELEG`, `SUBGOVCERT` and `SUBPOOL` rules (cardano-ledger)
18:12:07 [e278c477] Call `SUBGOV` from `SUBLEDGER` (cardano-ledger)
18:12:07 [faef0517] Introduce `SUBUTXOW` rule (cardano-ledger)
18:12:07 [8bea143d] Introduce `SubCertsEnv` and use it as environment for `SUBCERTS` rule (cardano-ledger)
18:12:07 [dba0106e] Update changelog (cardano-ledger)
18:12:07 [25f25241] Call `SUBLEDGERS` and conway `LEDGER` rules from dijkstra `LEDGER` rule (cardano-ledger-specs)
18:12:07 [c3c39545] Define `dijkstraLedgerTransition` using the one from conway (cardano-ledger)
18:12:07 [177a56fa] Introduce `SUBUTXO` rule (cardano-ledger)
18:13:52 [bfffd3d1] Apply suggestions from code review (cardano-ledger)
18:37:42 [c4d022b3] Use TxOutRef to find crs datum and hook everything on-chain (hydra-poc)
18:47:37 [fabf2803] Deprecate policy_hash IFO guardrails_script_hash. (cardano-ledger)
18:47:37 [d129c458] Re-export constitutionGuardrailsScriptHashL. (cardano-ledger)
18:47:37 [9beb9a56] Deprecate policy_hash IFO guardrails_script_hash. (cardano-ledger)
18:51:52 [593ac919] build(deps): bump go.opentelemetry.io/otel/exporters/stdout/stdouttrace (#1152) (dingo)
18:52:28 [a65912fd] build(deps): bump github.com/aws/aws-sdk-go-v2/service/s3 (#1149) (dingo)
18:55:14 [d4eb731f] build(deps): bump github.com/aws/aws-sdk-go-v2/config (dingo)
19:05:25 [5429f474] Apply suggestions from code review (cardano-ledger)
19:26:50 [01672916] Add a test (cardano-ledger)
19:26:50 [c09d9adb] Add double refund test (cardano-ledger)
19:26:50 [56fc6cd1] Fix suggestions (cardano-ledger)
19:26:50 [98621fe7] Review comments (cardano-ledger)
19:26:50 [ac8f8f24] Dijkstra subtx produced and consumed (cardano-ledger)
19:27:50 [7eb8e100] Fix tests (cardano-ledger)
19:27:50 [2ea5fc2e] Apply suggestions from code review (cardano-ledger)
19:27:50 [0b12252b] Adjust `pparams-update` golden test values (cardano-ledger)
19:27:50 [7b4d6d9a] Refine some `lens` utilities (cardano-ledger)
19:27:50 [a30b0d3e] Rename `minFeeA` to `minFeeFactor` (cardano-ledger)
19:27:50 [0d012d5c] Apply suggestions from code review (cardano-ledger)
19:27:50 [4c2f12e2] Switch to `CoinPerByte` for `minFeeA` (cardano-ledger)
19:27:50 [36e77ede] Move `CoinPerByte` to `cardano-ledger-core` (cardano-ledger)
19:27:50 [1d64c096] Rename `minFeeB` to `minFeeConstant` (cardano-ledger)
19:30:58 [577f4359] add Haskell Benchmark (customSmallerIsBetter) benchmark result for 56fc6cd141bff7cb5fcab32fd0701e6e8ae57f00 (cardano-ledger)
19:33:36 [bcb428cb] Swap Mempool/Ledger predicate failures in Dijkstra (cardano-ledger-specs)
19:51:04 [fc875d86] Introduce `SUBLEDGERS` rule (cardano-ledger)
19:51:04 [a3e6b2c5] Call `SUBCERT` from `SUBCERTS` (cardano-ledger)
19:51:04 [bd3f5c98] Introduce `SUBLEDGER` rule (cardano-ledger)
19:51:04 [c74dfade] Introduce `SUBUTXO` rule (cardano-ledger)
19:51:04 [27ddebab] Call `SUBUTXO` from `SUBUTXOW` (cardano-ledger)
19:51:04 [2e1fda41] Update changelog (cardano-ledger)
19:51:04 [646f1fca] Call `SUBLEDGERS` and conway `LEDGER` rules from dijkstra `LEDGER` rule (cardano-ledger)
19:51:04 [95f7dd69] Call `SUBUTXOS` from `SUBUTXO` (cardano-ledger)
19:51:04 [af2a4b8a] Introduce `SUBDELEG`, `SUBGOVCERT` and `SUBPOOL` rules (cardano-ledger)
19:51:04 [6b7fbd77] Define `dijkstraLedgerTransition` using the one from conway (cardano-ledger-specs)
19:51:04 [c67b831e] Introduce `SUBUTXOS` rule (cardano-ledger)
19:51:04 [a5e972fb] Call `SUBDELEG`, `SUBGOVCERT` and `SUBPOOL` from `SUBCERT` (cardano-ledger)
19:51:04 [b6904990] Call `SUBCERTS` from `SUBLEDGER` (cardano-ledger)
19:51:04 [18a89fc9] Introduce `SUBUTXOW` rule (cardano-ledger)
19:51:04 [fa6a091c] Remove some redundant constraints of functions in Ledger rules (cardano-ledger)
19:51:04 [f4b48fed] Introduce `SUBCERT` and `SUBCERTS` rules (cardano-ledger)
19:51:04 [8b98a051] Introduce `SUBGOV` rule (cardano-ledger-specs)
19:51:04 [c9f5658e] Call `SUBLEDGER` from `SUBLEDGERS` (cardano-ledger-specs)
19:51:04 [62922919] Introduce `SubCertsEnv` and use it as environment for `SUBCERTS` rule (cardano-ledger)
19:51:04 [0b903551] Introduce `conwayLedgerTransitionTRC` (cardano-ledger)
19:51:04 [1a032c1f] Call `SUBUTXOW` from `SUBLEDGER` (cardano-ledger)
19:51:04 [6ce117ed] Call `SUBGOV` from `SUBLEDGER` (cardano-ledger)
20:30:34 [d1cb86ea] Fail if any plutus spending script witnesses are present (cardano-cli)
21:44:24 [6059ffae] Merge pull request #5464 from IntersectMBO/ldan/minfeea-coinperbyte (cardano-ledger)
21:47:10 [a91375c5] add Haskell Benchmark (customSmallerIsBetter) benchmark result for 6059ffaecfd090c627c6a02f8ff013a829ba5c4b (cardano-ledger)
22:32:57 [942b9761] cardano-ledger-binary: add revision for 1.7.0.0 (cardano-haskell-packages)
22:32:57 [a6f2bad9] cardano-crypto-tests: add revisions (cardano-haskell-packages)
22:32:57 [99430349] Avoid warning in flake.nix (cardano-haskell-packages)
23:04:44 [9824d2e4] 🟩 API (Batch) is up (204 in 142 ms) [skip ci] [upptime] (cf-token-metadata-registry-status)
23:04:44 [20d2cbae] 🟩 API (Specific property) is up (204 in 143 ms) [skip ci] [upptime] (cf-token-metadata-registry-status)
23:04:44 [2fc4605a] 🟩 API (All properties) is up (204 in 767 ms) [skip ci] [upptime] (cf-token-metadata-registry-status)
23:07:09 [b15fb0cc] 🟥 1694ballot.cardano.org is down (0 in 0 ms) [skip ci] [upptime] (cf-cip1694-ballot-status)
23:07:10 [d6fc1429] 🟥 event-api is down (0 in 0 ms) [skip ci] [upptime] (cf-cip1694-ballot-status)
23:07:10 [1b984a8e] 🟥 blockchain-follower-api is down (0 in 0 ms) [skip ci] [upptime] (cf-cip1694-ballot-status)
23:07:11 [61ff90f0] 🟥 login-api is down (0 in 0 ms) [skip ci] [upptime] (cf-cip1694-ballot-status)
23:07:12 [721a7c28] 🟥 get-vote-receipt-api is down (0 in 0 ms) [skip ci] [upptime] (cf-cip1694-ballot-status)
23:07:12 [035e3519] 🟥 cast-vote-api is down (0 in 0 ms) [skip ci] [upptime] (cf-cip1694-ballot-status)
23:07:12 [16103db3] 🟥 get-votes-api is down (0 in 0 ms) [skip ci] [upptime] (cf-cip1694-ballot-status)
23:07:55 [248a1387] 🟩 event-api is up (200 in 621 ms) [skip ci] [upptime] (cf-summit-evoting-status)
23:07:55 [c5b605d5] 🟩 voting.summit.cardano.org is up (200 in 382 ms) [skip ci] [upptime] (cf-summit-evoting-status)
23:07:56 [81102612] 🟩 user-verification-api is up (405 in 623 ms) [skip ci] [upptime] (cf-summit-evoting-status)
23:07:57 [9b1b3792] 🟩 login-api is up (401 in 478 ms) [skip ci] [upptime] (cf-summit-evoting-status)
23:07:57 [af1dea02] 🟩 blockchain-follower-api is up (200 in 286 ms) [skip ci] [upptime] (cf-summit-evoting-status)
23:07:58 [9bcce87a] 🟩 get-votes-api is up (401 in 302 ms) [skip ci] [upptime] (cf-summit-evoting-status)
23:07:58 [8d662837] 🟩 cast-vote-api is up (401 in 314 ms) [skip ci] [upptime] (cf-summit-evoting-status)
23:07:58 [3b74bc39] 🟩 get-vote-receipt-api is up (401 in 134 ms) [skip ci] [upptime] (cf-summit-evoting-status)
23:07:59 [5046e023] 🟩 keria is up (401 in 387 ms) [skip ci] [upptime] (cf-summit-evoting-status)
23:42:39 [cfc0cc17] Swap Mempool/Ledger predicate failures in Dijkstra (cardano-ledger)
23:45:28 [5a1b8238] Introduce `SUBLEDGERS` rule (cardano-ledger)
23:45:28 [4b27f8e3] Remove some redundant constraints of functions in Ledger rules (cardano-ledger)
23:45:29 [d5bb70c4] Introduce `SUBLEDGER` rule (cardano-ledger)
23:45:29 [e088f569] Define `dijkstraLedgerTransition` using the one from conway (cardano-ledger)
23:45:29 [b5c152d2] Introduce `SUBGOV` rule (cardano-ledger)
23:45:29 [21ab0605] Call `SUBLEDGERS` and conway `LEDGER` rules from dijkstra `LEDGER` rule (cardano-ledger)
23:45:29 [963bebb3] Call `SUBLEDGER` from `SUBLEDGERS` (cardano-ledger)
23:45:29 [38f2fa9f] Introduce `conwayLedgerTransitionTRC` (cardano-ledger)
23:45:30 [f6ef917b] Introduce `SUBUTXOW` rule (cardano-ledger)
23:45:30 [fb581e24] Introduce `SUBUTXO` rule (cardano-ledger)
23:45:30 [7de5a30a] Introduce `SUBUTXOS` rule (cardano-ledger)
23:45:30 [c9ea333a] Call `SUBGOV` from `SUBLEDGER` (cardano-ledger)
23:45:30 [543b9ef2] Call `SUBUTXOS` from `SUBUTXO` (cardano-ledger)
23:45:30 [790e54f7] Call `SUBUTXOW` from `SUBLEDGER` (cardano-ledger)
23:45:30 [8397a686] Call `SUBUTXO` from `SUBUTXOW` (cardano-ledger)
23:45:31 [45d46620] Introduce `SubCertsEnv` and use it as environment for `SUBCERTS` rule (cardano-ledger)
23:45:31 [66bcd7ee] Call `SUBCERTS` from `SUBLEDGER` (cardano-ledger-specs)
23:45:31 [239d647b] Call `SUBDELEG`, `SUBGOVCERT` and `SUBPOOL` from `SUBCERT` (cardano-ledger-specs)
23:45:31 [d7cfeb67] Call `SUBCERT` from `SUBCERTS` (cardano-ledger-specs)
23:45:31 [207d662c] Introduce `SUBDELEG`, `SUBGOVCERT` and `SUBPOOL` rules (cardano-ledger)
23:45:31 [ed9f22b2] Introduce `SUBCERT` and `SUBCERTS` rules (cardano-ledger)
23:46:45 [fab6bbd9] Update changelog (cardano-ledger-specs)