Home / Reports / Jul 14, 2025
Monday, July 14, 2025
689 commits had been pushed across 95 repos by 106 authors. There were 22,417,676 additions and 1,257,900 deletions. Official weekly status updates can be found on essentialcardano.io.
Authors
Repos Updated
- catalyst-voices59
- cf-identity-wallet45
- plutus36
- cardano-api34
- ouroboros-consensus28
- antithesis26
- formal-ledger-specifications24
- cardano-ledger-specs21
- ouroboros-network20
- aiken16
- hermes16
- formal-ledger-specifications16
- hydra14
- cardano-cli13
- cardano-ledger12
- catalyst-core12
- cardano-ledger12
- gouroboros11
- hydra-poc11
- cf-cip1694-ballot-status10
- acropolis10
- cardano-api10
- lsm-tree10
- lace9
- ouroboros-leios9
- dolos9
- dingo8
- guild-operators8
- merkle-patricia-forestry7
- cardano-token-registry7
- amaru7
- blockfrost-platform6
- cf-token-metadata-registry-status6
- ouroboros-leios-sim6
- quickcheck-dynamic6
- bursa5
- cardano-wallet5
- haskell.nix5
- bluefin4
- cardano-models4
- cardano-node-api4
- nview4
- cardano-js-sdk4
- lsm-tree4
- Intersect-knowledge-base4
- oura4
- after-town-hall3
- cardano-up3
- cardano-up-packages3
- tx-submit-api-mirror3
- txtop3
- cardano-org3
- cardano-rosetta-java3
- atala-prism-apollo3
- atala-prism-building-blocks3
- auth-keys-hub3
- cardano-playground3
- cardano-formal-specifications3
- uplc3
- adder2
- cdnsd2
- gouroboros-starter-kit2
- plutigo2
- tx-submit-api2
- pool_groups2
- yoroi-frontend2
- cardano-prelude2
- budget-management2
- cardano-prelude2
- mesh2
- asteria2
- pallas2
- adder-library-starter-kit1
- ansible-cardano1
- helm-charts1
- ouroboros-mock1
- cardano-governance-voting-tool1
- developer-portal1
- zeko1
- yoroi1
- yoroi-mobile1
- asteria-gl1
- gerolamo1
- cardano-haskell-package-repo1
- marlowe-cardano1
- open-enterprise-agent1
- cardano-cli1
- cardano-haskell-packages1
- cardano-node1
- civics-documentation1
- credential-manager1
- govtool1
- mesh-saas1
- web3-sdk1
- homebrew-tap1
Commit Log
00:13:02
[4387227a]
:card_file_box: Update status summary [skip ci] [upptime]
(cf-token-metadata-registry-status)
00:13:02
[69f196e1]
:pencil: Update summary in README [skip ci] [upptime]
(cf-token-metadata-registry-status)
00:28:32
[77621ded]
:card_file_box: Update status summary [skip ci] [upptime]
(cf-cip1694-ballot-status)
00:28:32
[95af9c8d]
:pencil: Update summary in README [skip ci] [upptime]
(cf-cip1694-ballot-status)
00:38:52
[aebb2058]
chore(deps): bump cachix/install-nix-action from V27 to 31.5.1
(marlowe-cardano)
00:48:29
[157d0fc0]
chore(deps): bump github.com/blinklabs-io/adder from 0.30.3 to 0.30.4
(adder-library-starter-kit)
04:57:45
[7a6257ef]
Merge branch 'master' into carlos/make-txdats-a-set
(formal-ledger-specifications)
05:04:26
[8698e3c8]
Merge branch 'master' into 820-update-readme-contributing-et-al
(formal-ledger-specifications)
05:13:18
[6c3820cc]
Artifacts generated from 8ad70aa5acbfe4ccca1b65e6d31ba1fa25af8d3e
(formal-ledger-specifications)
05:16:28
[81efe202]
Artifacts generated from f73d2a1aadd7f08f4b40df629a24cd4070100135
(formal-ledger-specifications)
05:18:23
[42b01a4d]
Artifacts generated from 7e11a9c2fb00d21ffe660515010832527683c06a
(formal-ledger-specifications)
05:33:18
[5b93c19e]
Artifacts generated from e1972f1a6548a343ac974d6ceef199c660b7302d
(formal-ledger-specifications)
05:38:30
[b8ce1c4a]
Artifacts generated from 24866daefa33ce0aa26d96ed8fd52d0e18d2fa03
(formal-ledger-specifications)
07:12:23
[c9728e88]
Deploying to gh-pages from @ input-output-hk/hermes@217b26d7e65408ee3d206be426eb11865c505862 🚀
(hermes)
07:39:58
[9879dbd9]
ouroboros-consensus-cardano/golden: update `CardanoNodeToClientVersion17`
(ouroboros-consensus)
07:39:58
[977f4daf]
ouroboros-consensus-cardano/golden: add Dijkstra golden files
(ouroboros-consensus)
07:39:58
[d1881f88]
unstable-cardano-tools, unstable-cardano-testlib: add Dijkstra era
(ouroboros-consensus)
07:39:58
[7ab3933b]
unstable-consensus-testlib: add a reproducer for failing cuddle tests
(ouroboros-consensus)
08:14:31
[8dbe6945]
refactor(core): enhance migration logic for connections and contact records
(cf-identity-wallet)
08:39:41
[84aa2825]
fix(core): correct getCloudMigrationStatus and markCloudMigrationComplete
(cf-identity-wallet)
08:49:20
[ebbe0417]
Fix userName issue in Connections.tsx and commit resolved conflicts
(cf-identity-wallet)
08:51:56
[4e3a48df]
Merge branch 'main' into dependabot/pip/cloud-agent/client/python/pip-2c7469b053
(atala-prism-building-blocks)
08:52:31
[b944123a]
GITBOOK-1024: Gemma's Jul 14 changes template contracts
(Intersect-knowledge-base)
08:54:50
[7aeb6eaa]
Deploying to gh-pages from @ input-output-hk/hermes@5b84172998c404c874f8c0ddf92d6983694217f5 🚀
(hermes)
09:14:27
[d31356aa]
fix(cardano-services-client): enhance token metadata mapping to include on-chain metadata fields
(cardano-js-sdk)
09:26:40
[820770c4]
Merge branch 'refactor/2908-workspace-proposal-refactor' of github.com:input-output-hk/catalyst-voices into refactor/2908-workspace-proposal-refactor
(catalyst-voices)
09:31:34
[896cec19]
Update eras/conway/impl/src/Cardano/Ledger/Conway/PParams.hs
(cardano-ledger-specs)
09:32:23
[ac7e6922]
Update eras/dijkstra/src/Cardano/Ledger/Dijkstra/PParams.hs
(cardano-ledger-specs)
09:39:09
[6b967ba5]
add Haskell Benchmark (customSmallerIsBetter) benchmark result for b07ea85aa7c0f4da3c2631e5ee7eb3abb6971157
(cardano-ledger)
09:47:40
[f13ebc06]
build(deps): bump github.com/utxorpc/go-codegen from 0.16.0 to 0.17.0
(cardano-node-api)
09:49:51
[9809dc0e]
refactor(core): update connection history types for migration logic
(cf-identity-wallet)
10:12:38
[06a86963]
fix(core): update connection history type mapping for migration logic
(cf-identity-wallet)
10:24:38
[8be14c79]
Update eras/dijkstra/src/Cardano/Ledger/Dijkstra/PParams.hs
(cardano-ledger-specs)
10:34:12
[d73ad736]
Update libs/cardano-ledger-core/src/Cardano/Ledger/Compactible.hs
(cardano-ledger)
10:34:21
[db1fd876]
Update libs/cardano-ledger-core/src/Cardano/Ledger/Core/PParams.hs
(cardano-ledger)
10:34:35
[f088f7f3]
Update libs/cardano-ledger-core/src/Cardano/Ledger/Core/PParams.hs
(cardano-ledger)
10:34:49
[755ee092]
Update libs/cardano-ledger-core/src/Cardano/Ledger/State/CertState.hs
(cardano-ledger)
10:36:37
[4280a99e]
ouroboros-consensus-diffusion integrated with cardano-diffusion
(ouroboros-consensus)
10:59:00
[2abebab8]
chore(deps): bump github.com/utxorpc/go-codegen from 0.16.0 to 0.17.0
(gouroboros)
11:14:59
[a44cb0b9]
fix(core): enhance connection history handling in migration logic
(cf-identity-wallet)
11:15:41
[91e496af]
Merge branch 'fix/f14rc6-bugs-fixes' into feat/3040-remove-voices
(catalyst-voices)
11:17:00
[66bf6524]
Merge pull request #1641 from input-output-hk/fix/asset-provider-use-onchain-metadata-props
(cardano-js-sdk)
11:19:24
[10198d70]
add Haskell Benchmark (customSmallerIsBetter) benchmark result for b07ea85aa7c0f4da3c2631e5ee7eb3abb6971157
(cardano-ledger-specs)
11:19:25
[e303d226]
Updated from b07ea85aa7c0f4da3c2631e5ee7eb3abb6971157 via push
(cardano-ledger-specs)
11:19:35
[ea58e521]
ouroboros-consensus-diffusion integrated with cardano-diffusion
(ouroboros-consensus)
11:32:19
[d970cd3d]
Add support for lagda.md files in generating raw html
(formal-ledger-specifications)
11:35:51
[c5b6a462]
Merge branch 'feature/VT20-1905-cloud-migrations-base' into feature/VT20-1906-Migrate-connections-to-have-per-account-visibility
(cf-identity-wallet)
11:39:45
[f2662f9c]
Merge branch 'master' into carlos/consolidate-governance-modules
(formal-ledger-specifications)
12:13:34
[c79340f5]
Merge branch 'feat/voting_as_individual' into refactor/2908-workspace-proposal-refactor
(catalyst-voices)
12:14:56
[0baa4875]
chore(deps): Bump blinklabs-io/go from 1.24.4-1 to 1.24.5-1
(tx-submit-api-mirror)
12:15:43
[07a0d808]
Removed draft docs and test reports for feat/2907-proposal-discovery-vm
(catalyst-voices)
12:18:01
[e5a8fdf1]
chore(deps): Bump github.com/fxamacker/cbor/v2 from 2.8.0 to 2.9.0
(tx-submit-api-mirror)
12:28:42
[340f1fc0]
chore(deps): bump github.com/utxorpc/go-codegen from 0.16.0 to 0.17.0 (#1096)
(gouroboros)
12:29:13
[6f71a7b4]
Merge pull request #899 from IntersectMBO/jordan/add-to-EraCommonConstraints
(cardano-api)
12:33:34
[cd947448]
Artifacts generated from 09aee3b5481e7db0104e5f561545d95888abd07d
(formal-ledger-specifications)
12:36:32
[7d80264b]
Artifacts generated from b4aabfcd5b8a763429aaf28f01a859306e08b121
(formal-ledger-specifications)
12:37:21
[d8ebc607]
feat(minibf): implement `address/{address}/transactions` endpoint (#593)
(dolos)
12:38:02
[fd388c0a]
Merge branch 'fix/f14rc6-bugs-fixes' into fix/invalid_registration_transaction_3006
(catalyst-voices)
12:38:56
[2e9015f0]
chore(deps): bump golang.org/x/crypto from 0.39.0 to 0.40.0 (#1097)
(gouroboros)
12:40:31
[dc04d43e]
chore(deps): bump github.com/fxamacker/cbor/v2 from 2.8.0 to 2.9.0 (#1098)
(gouroboros)
12:49:18
[caa9baea]
Artifacts generated from c2d5fd7c7443afbf391aec4482700db2523ce063
(formal-ledger-specifications)
13:01:35
[7a6b7693]
Fix terminology and be less concrete on committe and quorum size
(ouroboros-leios-sim)
13:04:26
[393ae68b]
feat(cat-gateway): Remove dead code and update indexing slightly (#3039)
(catalyst-voices)
13:10:02
[992a0eca]
refactor: slightly rewrite on-chain cursor and nextCursor management; update aiken-lang/fuzz version to 1.0.0
(merkle-patricia-forestry)
13:14:37
[00ae42d2]
refactor: convert remaining camelCase to snake_case in on-chain code
(merkle-patricia-forestry)
13:20:04
[4e2e10a6]
Adding type-class law properties for data-types exported from Database.LSMTree
(lsm-tree)
13:20:08
[c1b67d78]
refactor: minor aesthetic & executions improvements and size reductions
(merkle-patricia-forestry)
13:27:23
[0a34eb52]
feat: add miss function and add more tests for edge cases
(merkle-patricia-forestry)
13:33:05
[ed68ba70]
Deploying to gh-pages from @ input-output-hk/hermes@bf59de09fdfb56269b84f0e6ddc49e81b2eab754 🚀
(hermes)
13:43:42
[11dba785]
Adding type-class law properties for data-types exported from Database.LSMTree
(lsm-tree)
13:56:26
[419cfa87]
Merge branch 'master' into carlos/change-div-to-html-comments-hidden-agda
(formal-ledger-specifications)
14:16:01
[1c8ddb86]
Merge branch 'fix/new-chain-follower-wit' into fix/new-chain-follower-impl
(hermes)
14:16:14
[95ae1ca5]
Merge branch 'fix/new-chain-follower-impl' into fix/new-chain-follower-integration-test
(hermes)
14:20:27
[9640fc0e]
Artifacts generated from c71111ab76491680b7e91ef5064630e17f766dc2
(formal-ledger-specifications)
14:21:45
[6d4e5cfc]
Merge pull request #13 from HeinrichApfelmus/HeinrichApfelmus/fix-lhs2tex
(cardano-formal-specifications)
14:22:29
[8be33cf8]
Artifacts generated from 309dd5ab5c05a19aa8e828fcb33612648ffba95e
(formal-ledger-specifications)
14:33:03
[3c718531]
Adding type-class law properties for data-types exported from Database.LSMTree
(lsm-tree)
14:42:10
[f82bd442]
chore(deps): Bump github.com/fxamacker/cbor/v2 from 2.8.0 to 2.9.0
(gouroboros-starter-kit)
14:53:15
[67f25b46]
Merge pull request #7478 from cardano-tools-nft/cd409176-3eca-45b1-8580-c889c2f1a192
(cardano-token-registry)
14:54:22
[aa3236c4]
Merge pull request #7481 from llol12345/5ff54dd03373636ecc9930a87dfe100edbba4d5a81b789aad54315ef446966667573696f6e-metadata
(cardano-token-registry)
14:55:03
[46490fd0]
Merge pull request #7476 from CardanoTokenIO/add-a-new-token-2484
(cardano-token-registry)
14:55:28
[64dadb9b]
ouroboros-consensus-diffusion integrated with cardano-diffusion
(ouroboros-consensus)
14:55:50
[b4690393]
Merge pull request #7477 from cardano-tools-nft/77965415-cf9d-443b-bade-f9a53157a083
(cardano-token-registry)
14:56:36
[088eeab7]
Merge pull request #7479 from CardanoTokenIO/add-a-new-token-2488
(cardano-token-registry)
15:33:08
[97220501]
Reward fixes - implement decentralisation >= 0.8, include utxo_value in stake
(acropolis)
15:46:18
[654b5b75]
Merge pull request #68 from SundaeSwap-finance/whankinsiv/gov-state-rest-refactor
(acropolis)
15:50:54
[b9f29a43]
chore(ci): pin all actions to hash, comment w/ver & rel link
(cardano-up-packages)
16:00:10
[ad7d9102]
chore(ci): pin all actions to hash, comment w/ver & rel link (#155)
(cardano-up-packages)
16:00:18
[4d46cf11]
add Haskell Benchmark (customSmallerIsBetter) benchmark result for 1a163db7eb8231cf7edb5ad3ca534aef78463012
(cardano-ledger-specs)
16:04:16
[76437193]
chore(deps): bump github.com/fxamacker/cbor/v2 from 2.8.0 to 2.9.0
(cardano-models)
16:05:06
[fcf164a1]
Deploying to gh-pages from @ IntersectMBO/plutus@65c6e4d795d8f247ee9c735127689b482c45ac19 🚀
(plutus)
16:06:40
[75b2f2d4]
chore(ci): pin all actions to hash, comment w/ver & rel link (#155)
(cardano-models)
16:13:14
[664f3dbc]
Merge pull request #21 from IntersectMBO/add-unix-timestamps-to-config-description
(budget-management)
16:14:44
[14b466c2]
Move `Twiddle` instances from alonzo & babbage-test packages to testlib
(cardano-ledger-specs)
16:26:49
[2499fb8e]
Move `Twiddle` instances from alonzo & babbage-test packages to testlib
(cardano-ledger)
16:44:09
[ad49dacf]
Move `Twiddle` instances from alonzo & babbage-test packages to testlib
(cardano-ledger)
16:56:29
[aee2a9f0]
Merge branch 'chore/updates-cont-snap-times' of https://github.com/input-output-hk/catalyst-core into chore/updates-cont-snap-times
(catalyst-core)
17:01:00
[86891d4b]
Deploying to gh-pages from @ IntersectMBO/plutus@65c6e4d795d8f247ee9c735127689b482c45ac19 🚀
(plutus)
17:33:34
[407557b6]
add Plutus Benchmarks (customSmallerIsBetter) benchmark result for 65c6e4d795d8f247ee9c735127689b482c45ac19
(plutus)
17:44:52
[39ee7a31]
add Haskell Benchmark (customSmallerIsBetter) benchmark result for 1a163db7eb8231cf7edb5ad3ca534aef78463012
(cardano-ledger-specs)
17:44:53
[9456df63]
Updated from 1a163db7eb8231cf7edb5ad3ca534aef78463012 via push
(cardano-ledger-specs)
17:46:22
[011465fa]
Merge pull request #5156 from IntersectMBO/coot/cardano-diffusion
(ouroboros-network)
17:52:43
[9d992beb]
Merge pull request #902 from IntersectMBO/release/cardano-api-10.17.2.0
(cardano-api)
18:07:00
[1b351a9a]
Deploying to gh-pages from @ IntersectMBO/plutus@65c6e4d795d8f247ee9c735127689b482c45ac19 🚀
(plutus)
18:38:51
[7f31dc30]
Merge branch 'master' of https://github.com/input-output-hk/plutus into effectfully/builtins/remove-vestiges-of-caseData
(plutus)
18:59:57
[0edaa80c]
feat: improve moveship/createship actions and remove blocksfrost api dependency
(asteria)
19:50:02
[5cbf945f]
Deploying to gh-pages from @ IntersectMBO/plutus@d5b24492fe1ffae26daf940eadb78f3b141bf676 🚀
(plutus)
19:51:49
[356cf15c]
Merge pull request #902 from IntersectMBO/release/cardano-api-10.17.2.0
(cardano-api)
20:30:00
[70489f00]
chore: fix warnings, fix decision tree hoist issue causing free uniques, add acceptance test for issue #1169
(aiken)
20:44:16
[be7cb5e8]
Deploying to gh-pages from @ IntersectMBO/plutus@d5b24492fe1ffae26daf940eadb78f3b141bf676 🚀
(plutus)
21:13:13
[4771acbe]
chore: fix warnings, fix decision tree hoist issue causing free uniques, add acceptance test for issue #1169 (#1190)
(aiken)
21:16:10
[c75f3b62]
chore: fix issue with aliased constr variants causing the compiler to crash
(aiken)
21:22:37
[0f1408c4]
Artifacts generated from c58bed825c61068d632530c16713d0b64c6a668b
(formal-ledger-specifications)
21:27:09
[403fb6ff]
Merge branch '820-update-readme-contributing-et-al' of github.com:IntersectMBO/formal-ledger-specifications into 820-update-readme-contributing-et-al
(formal-ledger-specifications)
21:41:22
[35c91de5]
Artifacts generated from c969e3aeb2fab29c43765508285e4e6c9ed7c450
(formal-ledger-specifications)
21:47:26
[cb5ad4fa]
Merge branch 'master' into 820-update-readme-contributing-et-al
(formal-ledger-specifications)
21:57:35
[2605d6e7]
Artifacts generated from ca9d5b68f2b6f04fb318f1701748036eef410130
(formal-ledger-specifications)
22:01:16
[bcb9b99f]
Artifacts generated from 94d0c132242a64c2973af0b5506033a16a3891f0
(formal-ledger-specifications)
22:14:38
[0ef1e77b]
Artifacts generated from 40013b310ab20e5048a26cd37787f81f6826a2f0
(formal-ledger-specifications)
22:21:24
[aab4bc14]
Artifacts generated from 40ea54bcf2c4be0fb8895322bc0d6a52e8714554
(formal-ledger-specifications)
22:25:09
[6336b7fc]
Artifacts generated from 5a5606890ae7f9094388776cbd429ee76fe4c051
(formal-ledger-specifications)
22:25:54
[cdd911ba]
add Plutus Benchmarks (customSmallerIsBetter) benchmark result for d5b24492fe1ffae26daf940eadb78f3b141bf676
(plutus)
22:26:38
[18fead85]
Artifacts generated from e07eaf560eaec253bce0d79d171f5fd5b4b6ad94
(formal-ledger-specifications)
22:45:58
[2231d958]
chore: hide warnings for ci tests, ensure that for tree path empty is different from not set
(aiken)
22:57:05
[be8ec4a7]
chore: hide warnings for ci tests, ensure that for tree path empty is different from not set (#1192)
(aiken)
23:04:39
[34221fea]
🟩 API (All properties) is up (204 in 589 ms) [skip ci] [upptime]
(cf-token-metadata-registry-status)
23:04:39
[3cbe94c5]
🟩 API (Specific property) is up (204 in 95 ms) [skip ci] [upptime]
(cf-token-metadata-registry-status)
23:04:40
[d06a162e]
🟩 API (Batch) is up (204 in 95 ms) [skip ci] [upptime]
(cf-token-metadata-registry-status)
23:07:04
[109d7be8]
🟥 1694ballot.cardano.org is down (0 in 0 ms) [skip ci] [upptime]
(cf-cip1694-ballot-status)
23:07:05
[209230e9]
🟥 event-api is down (0 in 0 ms) [skip ci] [upptime]
(cf-cip1694-ballot-status)
23:07:06
[674172cd]
🟥 login-api is down (0 in 0 ms) [skip ci] [upptime]
(cf-cip1694-ballot-status)
23:07:06
[cc693cd6]
🟥 cast-vote-api is down (0 in 0 ms) [skip ci] [upptime]
(cf-cip1694-ballot-status)
23:07:06
[9613e188]
🟥 blockchain-follower-api is down (0 in 0 ms) [skip ci] [upptime]
(cf-cip1694-ballot-status)
23:07:07
[25d1cdf9]
🟥 get-vote-receipt-api is down (0 in 0 ms) [skip ci] [upptime]
(cf-cip1694-ballot-status)
23:07:07
[efb61d63]
🟥 get-votes-api is down (0 in 0 ms) [skip ci] [upptime]
(cf-cip1694-ballot-status)