Home / Reports / Oct 24, 2025
Friday, October 24, 2025
750 commits had been pushed across 69 repos by 94 authors. There were 9,178,404 additions and 924,457 deletions. Official weekly status updates can be found on essentialcardano.io.
Authors
![github-merge-queue[bot]](https://avatars.githubusercontent.com/u/9919?v=4&s=80)
![github-actions[bot]](https://avatars.githubusercontent.com/in/15368?v=4&s=80)
![dependabot[bot]](https://avatars.githubusercontent.com/in/29110?v=4&s=80)
Repos Updated
- cardano-ledger105
- hermes49
- formal-ledger-specifications46
- ouroboros-consensus44
- acropolis41
- cardano-ledger40
- amaru29
- cardano-ledger-specs28
- ouroboros-network27
- catalyst-voices24
- cuddle21
- dingo20
- cf-summit-evoting-status20
- cardano-haskell-packages16
- cf-identity-wallet14
- yoroi-frontend14
- cardano-api14
- cardano-cli14
- cardano-api11
- cf-cip1694-ballot-status10
- formal-ledger-specifications10
- mesh10
- cardano-node9
- engineering8
- Intersect-knowledge-base8
- multisig7
- cf-token-metadata-registry-status6
- mantis6
- ouroboros-leios6
- antithesis5
- after-town-hall4
- gouroboros4
- cardano-cli4
- cardano-node4
- essential-cardano-content4
- mithril4
- Governance4
- dolos4
- developer-portal3
- yoroi-mobile3
- cardano-haskell-package-repo3
- cardano-playground3
- hedgehog-extras3
- ouroboros-leios-sim3
- web3-sdk3
- ansible-cardano2
- helm-charts2
- pool_groups2
- cardano-rosetta-java2
- react-native-haskell-shelley2
- lace2
- plutus2
- governance2
- midnight2
- cardano-transaction-lib2
- cardano-ctf2
- cdnsd1
- yoroi1
- atala-prism-wallet-sdk-swift1
- cardano-documentation1
- haskell.nix1
- hydra-poc1
- stackage.nix1
- cardano-updates1
- core-infrastructure-documentation1
- cardano-browser-tx1
- PDRs1
- cardano-cli-starter-kit1
- pallas1
Commit Log
00:09:22
[680ab2c4]
:card_file_box: Update status summary [skip ci] [upptime]
(cf-token-metadata-registry-status)
00:09:22
[218b393d]
:pencil: Update summary in README [skip ci] [upptime]
(cf-token-metadata-registry-status)
00:22:15
[c8db0e77]
:pencil: Update summary in README [skip ci] [upptime]
(cf-cip1694-ballot-status)
00:22:15
[fd9bbdb4]
:card_file_box: Update status summary [skip ci] [upptime]
(cf-cip1694-ballot-status)
00:28:36
[98843429]
:pencil: Update summary in README [skip ci] [upptime]
(cf-summit-evoting-status)
00:28:37
[e3b21e4f]
:card_file_box: Update status summary [skip ci] [upptime]
(cf-summit-evoting-status)
00:44:36
[f385e38c]
Provisionally remove `cardano-rpc` from `haskell-language-server` check
(cardano-api)
01:39:16
[c5b9c58f]
Add `Cardano.Network.NodeToClient` to `check-stylish-ignore`
(ouroboros-network)
01:45:57
[ccbe6938]
leiosdemo202510: rename binder to nickname in myManifest.json
(ouroboros-consensus)
02:02:53
[62ca8173]
Bump chromedriver from 141.0.3 to 141.0.4 in /packages/e2e-tests
(yoroi-frontend)
02:59:10
[170ba5cd]
Update src/Ledger/Conway/Specification/Gov/Actions.lagda.md
(formal-ledger-specifications)
03:13:41
[e9f73331]
Merge branch '944-migrate-all-remaining-lagda-files' of github.com:IntersectMBO/formal-ledger-specifications into 944-migrate-all-remaining-lagda-files-FINAL-FINAL
(formal-ledger-specifications)
03:24:41
[b1a2421b]
Merge remote-tracking branch 'origin/master' into 944-migrate-all-remaining-lagda-files-FINAL-FINAL
(formal-ledger-specifications)
03:44:34
[73ddc462]
test: add support for token registry integration and peer discovery in pytest suite
(cardano-rosetta-java)
03:45:21
[08ebefab]
Merge branch 'master' into 826-niceties--improve-toc
(formal-ledger-specifications)
03:52:30
[7d5b3dcc]
Artifacts generated from 5eb10d7a516faef9f6065945944187907603a17c
(formal-ledger-specifications)
04:01:43
[0fe342bf]
Artifacts generated from c12d507f8d13c4da38d92cf828445c7c436c9f09
(formal-ledger-specifications)
04:12:49
[a15c14ef]
Artifacts generated from ae45f344b81c57db5f532a468ea0075fa175054e
(formal-ledger-specifications)
04:41:41
[a3f23373]
Merge remote-tracking branch 'origin/main' into feature/create-new-wallet-updates
(multisig)
04:48:40
[cf2d4201]
Deploying to gh-pages from @ cardano-scaling/hydra@899aefd341789ac0fbcf8c22a9bdbfcc83329b5b 🚀
(hydra-poc)
04:48:48
[2b0baa59]
Artifacts generated from 6067457cd3925cf4cfef65fdbb971dd756ce9e75
(formal-ledger-specifications)
05:01:32
[5918b5a2]
refactor(wallet): simplify mutation success handlers in wallet invite component
(multisig)
05:31:43
[15072ba7]
Merge pull request #1265 from IntersectMBO/ana/10.6-node-release-final
(cardano-cli)
05:59:06
[13d9b02d]
refactor(wallet): improve stake key alignment in wallet invite component
(multisig)
06:48:00
[3ce4b756]
refactor(multisig): improve fallback logic for deriving reward addresses
(multisig)
07:08:39
[d06c4e74]
fix(docs): Add icons to all pages for better consistency when viewing. Restrict CID to SHA2-256
(hermes)
07:41:20
[bf00e4dd]
Update how-ouroboros-phalanx-enhances-network-protection.md
(essential-cardano-content)
07:42:22
[00054124]
Merge pull request #1629 from input-output-hk/junko-oda/contrib/how-ouroboros-phalanx-enhances-network-protection-1761235357248
(essential-cardano-content)
07:53:08
[887a62e3]
Merge remote-tracking branch 'origin/main' into 532_finally_wire_to_hermes
(hermes)
07:57:14
[5baa992e]
Merge pull request #5207 from IntersectMBO/mw/bugfix-runannotateddecoder
(ouroboros-network)
08:21:39
[c7a7e517]
fix(hermes): fix build-all-host-modules-build-wasm32-wasip2 to use build-all
(hermes)
08:32:38
[403e15f4]
fix(docs): Add publishing pre-condition to assist with doc dissemination
(hermes)
08:46:44
[c1fe24b5]
Merge remote-tracking branch 'origin/main' into feature/aiken-multisig
(multisig)
08:55:15
[18dbfc70]
Deploying to gh-pages from @ input-output-hk/hermes@b51c3c7992d8a79dde305f6323a27081f8ccd874 🚀
(hermes)
09:05:09
[4bc66cdb]
Update eras/babbage/impl/src/Cardano/Ledger/Babbage/Translation.hs
(cardano-ledger)
09:05:28
[ae45be08]
Update eras/allegra/impl/src/Cardano/Ledger/Allegra/Translation.hs
(cardano-ledger)
09:05:39
[1f9bdb62]
Update eras/babbage/impl/src/Cardano/Ledger/Babbage/Translation.hs
(cardano-ledger)
09:05:49
[91e2fa3f]
Update eras/dijkstra/impl/src/Cardano/Ledger/Dijkstra/Translation.hs
(cardano-ledger)
09:07:26
[8d9b67b3]
Update eras/dijkstra/impl/src/Cardano/Ledger/Dijkstra/TxBody.hs
(cardano-ledger)
09:07:49
[7eca0dc0]
Update eras/dijkstra/impl/src/Cardano/Ledger/Dijkstra/TxBody.hs
(cardano-ledger)
09:08:13
[60f006bd]
Update eras/dijkstra/impl/src/Cardano/Ledger/Dijkstra/TxBody.hs
(cardano-ledger)
09:08:33
[27eb4873]
Update eras/dijkstra/impl/testlib/Test/Cardano/Ledger/Dijkstra/TreeDiff.hs
(cardano-ledger)
09:14:24
[02c59691]
Update src/Ledger/Conway/Specification/Epoch/Properties/Computational.agda
(formal-ledger-specifications)
09:14:39
[fdc562bd]
Update src/Ledger/Conway/Specification/Epoch/Properties/Computational.agda
(formal-ledger-specifications)
09:15:09
[6b127530]
Update src/Ledger/Conway/Specification/Epoch/Properties/Computational.agda
(formal-ledger-specifications)
09:16:19
[c43bc925]
Update src/Ledger/Conway/Specification/Epoch.lagda.md
(formal-ledger-specifications)
09:16:26
[f293bd79]
feat(cat-voices): Filter out internal extensions exception (#3586)
(catalyst-voices)
09:24:53
[8b4241eb]
Merge pull request #105 from input-output-hk/lehins/fix-stackage-nightly
(cuddle)
09:27:37
[d37c9eac]
Deploying to gh-pages from @ input-output-hk/hermes@64797d4d2bab3894d0d22a24552c968c920cd3d1 🚀
(hermes)
09:32:09
[869b23a2]
Refactor EPOCH into more conceptually related modules
(formal-ledger-specifications)
09:49:34
[17b4c74a]
fix: simplify symbol selection in search operations for token
(cardano-rosetta-java)
09:51:41
[a51c650b]
fix: replaced timeout-based workaround with event-driven state machine solution
(cf-identity-wallet)
09:53:12
[10caca54]
Add bangs for avoiding retaining the ProtocolInfo and LedgerDbArgs
(ouroboros-consensus)
09:59:10
[908579bc]
feat: enhance RBAC DTOs and add PEM handling for X509 certificates
(catalyst-voices)
10:13:13
[34bf7080]
Artifacts generated from 987a60f7e59f336e1834b522cdc7e996c6e45f9b
(formal-ledger-specifications)
10:23:53
[50222ecd]
🟥 event-api is down (503 in 485 ms) [skip ci] [upptime]
(cf-summit-evoting-status)
10:23:55
[25a1346a]
🟥 blockchain-follower-api is down (503 in 273 ms) [skip ci] [upptime]
(cf-summit-evoting-status)
10:24:17
[4c09f9d4]
:pencil: Update summary in README [skip ci] [upptime]
(cf-summit-evoting-status)
10:24:18
[0be3af6a]
:card_file_box: Update status summary [skip ci] [upptime]
(cf-summit-evoting-status)
10:25:16
[e49f0204]
Update `StakePoolState` delegs when (re)delegating stake in conway
(cardano-ledger)
10:25:16
[139ee654]
Use `StakePoolState` delegs to remove delegations when retiring pools
(cardano-ledger)
10:25:17
[3256646f]
Update checks in `DelegSpec` to include delegs in `StakePoolState`
(cardano-ledger)
10:27:13
[8bba9fa7]
Merge pull request #982 from IntersectMBO/mgalazyn/refactor/remove-redundant-GetPlutusScriptPurpose
(cardano-api)
10:29:21
[668c65d6]
Added Typeable constraints to all level superclasses in EraTxBody
(cardano-ledger)
10:36:57
[022474e2]
Update eras/dijkstra/impl/src/Cardano/Ledger/Dijkstra/TxBody.hs
(cardano-ledger)
10:36:57
[44144afb]
Update eras/dijkstra/impl/src/Cardano/Ledger/Dijkstra/TxBody.hs
(cardano-ledger)
10:36:57
[0f962897]
Update eras/babbage/impl/src/Cardano/Ledger/Babbage/Translation.hs
(cardano-ledger)
10:36:57
[0057639b]
Update eras/allegra/impl/src/Cardano/Ledger/Allegra/Translation.hs
(cardano-ledger-specs)
10:36:57
[b3510c85]
Update eras/babbage/impl/src/Cardano/Ledger/Babbage/Translation.hs
(cardano-ledger-specs)
10:36:57
[2dae0d61]
Update eras/dijkstra/impl/src/Cardano/Ledger/Dijkstra/TxBody.hs
(cardano-ledger-specs)
10:36:57
[8a082cca]
Update eras/dijkstra/impl/testlib/Test/Cardano/Ledger/Dijkstra/TreeDiff.hs
(cardano-ledger)
10:36:57
[e4cf23b4]
Update eras/dijkstra/impl/src/Cardano/Ledger/Dijkstra/TxBody.hs
(cardano-ledger-specs)
10:36:57
[aa5aaeac]
Update eras/dijkstra/impl/src/Cardano/Ledger/Dijkstra/Translation.hs
(cardano-ledger-specs)
10:40:17
[85e9af5f]
Add bangs for avoiding retaining the ProtocolInfo and LedgerDbArgs
(ouroboros-consensus)
10:45:17
[aa213233]
🟩 event-api is up (200 in 720 ms) [skip ci] [upptime]
(cf-summit-evoting-status)
10:45:21
[3c43c43d]
🟩 blockchain-follower-api is up (200 in 466 ms) [skip ci] [upptime]
(cf-summit-evoting-status)
10:45:47
[e5ca1e25]
:pencil: Update summary in README [skip ci] [upptime]
(cf-summit-evoting-status)
10:45:47
[409a535e]
:card_file_box: Update status summary [skip ci] [upptime]
(cf-summit-evoting-status)
10:46:36
[ed49724b]
Merge branch 'f15/voices-rc3-fixes' into fix/f15_copy_fixes_20251023
(catalyst-voices)
10:48:41
[678c1e7f]
Mainteniance: Fix link to `ouroboros-network` documentation
(ouroboros-consensus)
10:52:34
[30b0a2f8]
[EC Api] - Added: Weekly development report as of 2025-10-24
(essential-cardano-content)
11:03:02
[3beed3af]
Merge pull request #1630 from input-output-hk/emmanuelamehiohkio/contrib/weekly-development-report-as-of-2025-10-24-1761303153324
(essential-cardano-content)
11:12:26
[aac616e1]
Artifacts generated from e797b948e5a086230d2eb6bdca60201e23cf710f
(formal-ledger-specifications)
11:15:32
[26621976]
Merge branch 'f15/voices-rc3-fixes' into fix/keychain-deleted-dialog-3569
(catalyst-voices)
11:17:06
[37a56910]
Merge branch 'f15/voices-rc3-fixes' into fix/f15_copy_fixes_20251023
(catalyst-voices)
11:22:42
[f079310c]
fix: configure OSV scanner to ignore dev-only vulnerabilities
(cf-identity-wallet)
11:27:39
[34bdc254]
`BlockFetchConsensusInterface`: simplify `headerForgeUTCTime`
(ouroboros-network)
11:31:57
[f2c6862c]
Refactor EPOCH into more conceptually related modules (#964)
(formal-ledger-specifications)
11:49:37
[d345b947]
Mention implementation of technical design is eventually needed
(ouroboros-leios)
11:50:50
[7af1d3db]
Artifacts generated from f2c6862c643b74b4ce3bcb553551ed762dfb0f8d
(formal-ledger-specifications)
11:54:17
[9ac10c74]
Mainteniance: Fix link to `ouroboros-network` documentation (#1732)
(ouroboros-consensus)
11:58:04
[1f0b0596]
[wip] - unDelegReDelegStakePool in shelley (unreg + deleg) and conway (unreg)
(cardano-ledger)
12:03:18
[892bc471]
Refactor MultiAssetTreasury component for improved readability and consistency in formatting
(Governance)
12:04:25
[18dc4d00]
Deploying to gh-pages from @ input-output-hk/hermes@dae6bec1c0c96c5096b9db379ca2f76762005bac 🚀
(hermes)
12:09:44
[4d5f7025]
cardano-diffusion: added export list to Cardano.Network.PeerSelection.PublicRootPeers
(ouroboros-network)
12:20:20
[01664a87]
refactor(mobile): update navigation handling in useDappConnectorManager to use navigateToDiscoverBrowserDapp
(yoroi-mobile)
12:29:11
[773e96c2]
add Haskell Benchmark (customSmallerIsBetter) benchmark result for 52f8e4361b4d62721da63b8bff156db23110547a
(cardano-ledger)
13:10:54
[9a27a06c]
Merge pull request #4387 from Emurgo/dependabot/npm_and_yarn/packages/e2e-tests/chromedriver-141.0.4
(yoroi-frontend)
13:24:03
[aa961ff6]
Merge pull request #1292 from IntersectMBO/release/cardano-cli-10.13.0.0
(cardano-cli)
13:26:23
[459ff5d1]
Merge remote-tracking branch 'origin/develop' into feat/VT20-2085-Initial-basic-push-notifications
(cf-identity-wallet)
13:28:12
[aa063c3b]
Removed draft docs and test reports for fix/f15_template_fixes_20251023
(catalyst-voices)
13:29:36
[7b894e56]
Merge remote-tracking branch 'origin/1709-initial-demo-setup' into nfrisby/issue-1701-demo-sandbox-exe
(ouroboros-consensus)
13:40:13
[a780d4ec]
feat: add an animation to show the arrival of messages and random walk of the headers tree
(amaru)
13:41:40
[5127a632]
Deploying to gh-pages from @ input-output-hk/hermes@c923843347d385ac845898ea40f56945aa5d9490 🚀
(hermes)
13:52:26
[2e0f3456]
refactor(protocol-config, signer): return a window with 3 epochs for MithrilNetworkConfigurationProvider
(mithril)
13:54:20
[ccfdbe16]
Revise snapshot-converter for ouroboros-consensus-cardano 0.26.0.1
(cardano-haskell-package-repo)
14:04:58
[1acf5fe0]
Revise snapshot-converter for ouroboros-consensus-cardano 0.26.0.1 (#1163)
(cardano-haskell-packages)
14:11:48
[3be0d387]
Merge pull request #5232 from IntersectMBO/coot/peer-selection-false-positive-test-failure
(ouroboros-network)
14:15:03
[47a44125]
refactor(bitcoin): update EmbeddedWallet API to use new network parameter
(web3-sdk)
14:16:45
[06ddffa6]
Add bangs for avoiding retaining the ProtocolInfo and LedgerDbArgs
(ouroboros-consensus)
14:22:58
[4eb97508]
Merge pull request #5228 from IntersectMBO/coot/fixed-haddock-action
(ouroboros-network)
14:35:55
[68076eef]
Move `mkTxCertificates` to Cardano.Api.Experimental.Tx.Internal.Compatible
(cardano-api)
14:45:56
[231b05e8]
Update `ouroboros-network` SRP for `ouroboros-network-0.22.3.0`
(ouroboros-consensus)
14:46:05
[98a3aa7b]
Do not allocate unnecessary forkers when syncing the mempool
(ouroboros-consensus)
14:46:07
[f4224b1c]
Garbage collect when necessary in LedgerDB.StateMachine tests
(ouroboros-consensus)
14:46:08
[fa0a9a3b]
Use new resource-registry which cancels threads before closing registries
(ouroboros-consensus)
14:52:30
[b3d75483]
Merge remote-tracking branch 'origin/main' into ajw/164-tx-blockfrost-api
(acropolis)
14:57:57
[0659d3c3]
Merge pull request #277 from input-output-hk/lowhung/275-remove-address-network
(acropolis)
14:58:22
[9bec09a8]
refactor: read epoch nonce in block vrf validator and update types for validation error
(acropolis)
15:13:41
[8c4b0624]
Add bangs for avoiding retaining the ProtocolInfo and LedgerDbArgs
(ouroboros-consensus)
15:24:02
[987f215d]
Continue working on benchmark gen for ObjectDiffusionV2/makeDecisions
(ouroboros-consensus)
15:27:52
[835d5b1a]
Make EPOCH-updates0 opaque for typechecking performance
(formal-ledger-specifications)
15:37:04
[8ecc04bb]
Delay throwing ReachedImmutableTip to allow clients to fetch blocks
(ouroboros-consensus)
15:41:35
[05b8118e]
WIP: refactor(signer): remove usage of registration_protocol_parameters and cardano_transactions_signing_config from EpochSettingsMessage
(mithril)
15:41:35
[bd5d1af8]
feature(common, openapi): deprecate signer_registration_protocol_parameters and cardano_transactions_signing_config for EpochSettingsMessage
(mithril)
15:41:35
[54921dc4]
refactor(protocol-config, signer): return a window with 3 epochs for MithrilNetworkConfigurationProvider
(mithril)
15:50:27
[5976d2d1]
Adds journal logs from leios-node and adjust up the Python scripts
(ouroboros-consensus)
15:53:21
[3daf7266]
Update `ouroboros-network` SRP for `ouroboros-network-0.22.3.0` (#1733)
(ouroboros-consensus)
16:20:14
[a485c47c]
Update: Rename `Main` to `Mainnet` in `stake_delta_filter` for consistency
(acropolis)
16:23:42
[0ab83df3]
feat(grpc): enhance block and chain point handling with height and timestamp calculations
(dolos)
16:34:46
[a25c1339]
Merge pull request #289 from input-output-hk/fix-network-id-in-stake-delta-prefined
(acropolis)
17:02:20
[9c58e849]
update: starter kit adapted for conway era and misc docs stuff
(cardano-cli-starter-kit)
17:29:06
[2b9758ec]
fix: make sure that it is not necessary to store anchor and tip atomically
(amaru)
17:40:47
[0d124e3c]
Add publish Start message for snapshot parsing/publishing for synchronization with consumer modules
(acropolis)
18:00:10
[9a3ef5d3]
Update `StakePoolState` delegs when (re)delegating stake in conway
(cardano-ledger)
18:00:11
[442fe8ef]
Use `StakePoolState` delegs to remove delegations when retiring pools
(cardano-ledger)
18:00:11
[32ccf719]
Update checks in `DelegSpec` to include delegs in `StakePoolState`
(cardano-ledger)
18:00:14
[2c8822ff]
[wip] - unDelegReDelegStakePool in shelley (unreg + deleg) and conway (unreg)
(cardano-ledger)
18:06:10
[ceb101ed]
Merge pull request #290 from input-output-hk/whankinsiv/deadlock-fix
(acropolis)
18:18:05
[2bf997c8]
Merge remote-tracking branch 'origin/whankinsiv/historical-accounts-cert-processing' into whankinsiv/reg-deleg-and-mir-rest-handlers
(acropolis)
19:04:15
[86dc2068]
Merge pull request #5358 from IntersectMBO/carlos/update-fls-enable-tests-2
(cardano-ledger)
19:07:53
[ce4920a4]
add Haskell Benchmark (customSmallerIsBetter) benchmark result for 86dc20687e918e0fc9cc6374fdb7b9fa70c7fcad
(cardano-ledger)
19:17:25
[422d6f9f]
Merge pull request #291 from input-output-hk/cet-git-workflow-updater
(acropolis)
19:52:47
[1c2f3d25]
Merge remote-tracking branch 'origin/master' into 944-migrate-all-remaining-lagda-files-FINAL-FINAL
(formal-ledger-specifications)
20:02:48
[2c798273]
Merge remote-tracking branch 'origin/master' into 826-niceties--improve-toc
(formal-ledger-specifications)
20:12:18
[f738fee5]
Add `serde_as` attribute for `Credential` variants to enforce Hex serialization
(acropolis)
20:33:34
[97784e7b]
leiosdemo202510: added generalized LeiosNotify peers to ouroboros-consensus-diffusion
(ouroboros-consensus)
20:33:53
[30f4ce86]
Add arguments for the anchor slot and its corresponding onset
(ouroboros-consensus)
20:39:41
[aaa59fb9]
sanchonet: revert to normal topo after respin, prep for 10.6.0
(cardano-playground)
20:40:35
[1aaa0bc8]
Artifacts generated from fb3015b162dc057a8a2da2d90714761eb3c2330d
(formal-ledger-specifications)
20:44:01
[fdfc0d7c]
Merge branch '944-migrate-all-remaining-lagda-files' of github.com:IntersectMBO/formal-ledger-specifications into 944-migrate-all-remaining-lagda-files-FINAL-FINAL
(formal-ledger-specifications)
20:46:48
[cb3f4215]
Artifacts generated from e69131fe489c2d7340ecea4f9abb6968cb178579
(formal-ledger-specifications)
20:53:21
[16662e68]
Update `StakePoolState` delegs when (re)delegating stake in conway
(cardano-ledger)
20:53:22
[87504de5]
Update checks in `DelegSpec` to include delegs in `StakePoolState`
(cardano-ledger)
20:53:22
[7cf4d6a3]
Use `StakePoolState` delegs to remove delegations when retiring pools
(cardano-ledger)
20:53:23
[ad7e9c01]
Refactor PState update logic to handle stake undelegation/redelegation
(cardano-ledger)
20:53:23
[02531b6c]
Refactor VState update logic to handle dRep undelegation/redelegation
(cardano-ledger)
20:56:10
[35eb5a04]
effect Carlos's change requests plus miscellaneous improvements
(formal-ledger-specifications)
20:59:20
[f69952e5]
Artifacts generated from 8398109c2e6b657d0a5e2e83fd7cce94d55c58d7
(formal-ledger-specifications)
21:01:35
[8a9282cf]
prepare to migrate many `.agda` files to `.lagda.md`
(formal-ledger-specifications)
21:07:06
[e75bde6d]
Artifacts generated from 836e8930584dcade229a472ed699b0c78154959c
(formal-ledger-specifications)
21:11:25
[8ac0a3d6]
remove unnecessary vertical scrolling code blocks
(formal-ledger-specifications)
21:17:02
[36a77775]
Artifacts generated from bfe598e1d936f638e5de05a8bd551d4fa8a5358d
(formal-ledger-specifications)
21:21:00
[c429f003]
Artifacts generated from 34331fff144bc7d1dfacdcffd4a7e6cb2646679b
(formal-ledger-specifications)
21:33:55
[30b200dd]
Artifacts generated from 9680e9bf73daa74a210aed9e47e94a938f2863e0
(formal-ledger-specifications)
21:55:10
[2260bbea]
Refactor tests to use long timeouts for message expectations and improve stream handling
(mantis)
22:09:51
[e817986f]
add Haskell Benchmark (customSmallerIsBetter) benchmark result for 6c33dc1a14d1e5425204c6653255f8210d7d60e1
(cardano-ledger)
22:18:07
[b1c0e610]
feat(bitcoin): update to @meshsdk/bitcoin 1.9.0-beta.83 with PSBT support
(web3-sdk)
22:25:57
[20207f75]
Update `StakePoolState` delegs when (re)delegating stake in conway
(cardano-ledger)
22:25:58
[d7e38f3e]
Use `StakePoolState` delegs to remove delegations when retiring pools
(cardano-ledger)
22:25:58
[d35e609c]
Update checks in `DelegSpec` to include delegs in `StakePoolState`
(cardano-ledger)
22:26:00
[3d357bdf]
Refactor VState update logic to handle dRep undelegation/redelegation
(cardano-ledger)
22:26:00
[dcf68cce]
Refactor PState update logic to handle stake undelegation/redelegation
(cardano-ledger)
22:47:44
[643f4b42]
Merge remote-tracking branch 'origin/1709-initial-demo-setup' into nfrisby/issue-1701-demo-sandbox-exe
(ouroboros-consensus)
22:55:12
[ff4608cd]
Merge remote-tracking branch 'origin/whankinsiv/historical-accounts-cert-processing' into whankinsiv/historical-accounts-withdrawal-processing
(acropolis)
23:04:35
[c71fe7c1]
🟩 API (Specific property) is up (204 in 114 ms) [skip ci] [upptime]
(cf-token-metadata-registry-status)
23:04:35
[08f5fc1c]
🟩 API (All properties) is up (204 in 584 ms) [skip ci] [upptime]
(cf-token-metadata-registry-status)
23:04:36
[04259ceb]
🟩 API (Batch) is up (204 in 114 ms) [skip ci] [upptime]
(cf-token-metadata-registry-status)
23:07:04
[f93aec3e]
🟥 event-api is down (0 in 0 ms) [skip ci] [upptime]
(cf-cip1694-ballot-status)
23:07:04
[b0cc7084]
🟥 1694ballot.cardano.org is down (0 in 0 ms) [skip ci] [upptime]
(cf-cip1694-ballot-status)
23:07:05
[2fc3141b]
🟥 blockchain-follower-api is down (0 in 0 ms) [skip ci] [upptime]
(cf-cip1694-ballot-status)
23:07:05
[75cd51e1]
🟥 login-api is down (0 in 0 ms) [skip ci] [upptime]
(cf-cip1694-ballot-status)
23:07:05
[c5ff8307]
🟥 cast-vote-api is down (0 in 0 ms) [skip ci] [upptime]
(cf-cip1694-ballot-status)
23:07:06
[da7340d8]
🟥 get-vote-receipt-api is down (0 in 0 ms) [skip ci] [upptime]
(cf-cip1694-ballot-status)
23:07:06
[43d2ded5]
🟥 get-votes-api is down (0 in 0 ms) [skip ci] [upptime]
(cf-cip1694-ballot-status)
23:07:45
[aa7b9981]
🟩 voting.summit.cardano.org is up (200 in 341 ms) [skip ci] [upptime]
(cf-summit-evoting-status)
23:07:46
[bcbe130d]
🟩 event-api is up (200 in 516 ms) [skip ci] [upptime]
(cf-summit-evoting-status)
23:07:47
[adc506f1]
🟩 blockchain-follower-api is up (200 in 149 ms) [skip ci] [upptime]
(cf-summit-evoting-status)
23:07:47
[d5ec1ddf]
🟩 user-verification-api is up (405 in 609 ms) [skip ci] [upptime]
(cf-summit-evoting-status)
23:07:48
[c34d0612]
🟩 cast-vote-api is up (401 in 149 ms) [skip ci] [upptime]
(cf-summit-evoting-status)
23:07:48
[0b18e5aa]
🟩 login-api is up (401 in 576 ms) [skip ci] [upptime]
(cf-summit-evoting-status)
23:07:49
[e6ce1506]
🟩 get-vote-receipt-api is up (401 in 141 ms) [skip ci] [upptime]
(cf-summit-evoting-status)
23:07:49
[d298fcd4]
🟩 get-votes-api is up (401 in 410 ms) [skip ci] [upptime]
(cf-summit-evoting-status)
23:33:43
[0634f3c3]
Update build configuration to replace 'mantis' with 'fukuii' for consistency
(mantis)
23:48:21
[069ef17d]
ci(cabal-outdated): fail workflow when outdated dependencies are detected
(hedgehog-extras)