Home / Reports / Jul 16, 2025
Wednesday, July 16, 2025
779 commits had been pushed across 77 repos by 115 authors. There were 69,743,813 additions and 1,977,071 deletions. Official weekly status updates can be found on essentialcardano.io.
Authors
Repos Updated
- mithril115
- yoroi-frontend65
- cardano-ledger63
- formal-ledger-specifications61
- catalyst-voices46
- plutus38
- cardano-ledger-specs23
- cf-identity-wallet22
- mesh22
- cardano-ledger19
- ouroboros-network18
- ouroboros-consensus16
- ouroboros-leios15
- cardano-api13
- hydra-poc11
- cardano-node11
- cf-cip1694-ballot-status10
- lace10
- amaru10
- acropolis9
- ouroboros-leios-sim9
- governance8
- cshell8
- antithesis7
- hermes7
- cardano-token-registry6
- cf-token-metadata-registry-status6
- cardano-haskell-package-repo6
- cardano-haskell-packages6
- plutigo5
- cardano-governance-voting-tool5
- zeko5
- cardano-wallet5
- catalyst-core5
- govtool5
- dolos5
- bluefin4
- cf-cardano-ballot4
- cardano-api4
- cardano-node4
- haskell.nix4
- formal-ledger-specifications4
- stdlib3
- tx-submit-api-mirror3
- cardano-rosetta-java3
- cardano-updates3
- catalyst-ci3
- cardano-db-sync3
- dingo2
- gouroboros2
- helm-charts2
- tx-submit-api2
- pool_groups2
- cardano-ignite2
- cardano-org2
- cardano-node-wiki2
- council-toolkit-app2
- web3-sdk2
- homebrew-tap2
- pallas2
- adalite2
- aiken1
- adder-library-starter-kit1
- CIPs1
- developer-portal1
- atala-prism-apollo1
- capkgs1
- cardano-parts1
- cardano-playground1
- hydra1
- lsm-tree1
- stackage.nix1
- cardano-cli1
- cardano-updates1
- Intersect-knowledge-base1
- uplc1
- asteria1
Commit Log
00:12:26
[c6af2e9a]
:pencil: Update summary in README [skip ci] [upptime]
(cf-token-metadata-registry-status)
00:12:26
[4b16601d]
:card_file_box: Update status summary [skip ci] [upptime]
(cf-token-metadata-registry-status)
00:26:54
[9088b7f7]
:card_file_box: Update status summary [skip ci] [upptime]
(cf-cip1694-ballot-status)
00:26:54
[061c4188]
:pencil: Update summary in README [skip ci] [upptime]
(cf-cip1694-ballot-status)
03:00:37
[0383aa5e]
Artifacts generated from fe2b925a7bc56580e34054cfd8acefc1b728421a
(formal-ledger-specifications)
03:12:08
[6583a626]
Artifacts generated from 8ab51f41a5ba0356858f715b5d78f776e6ac0bcc
(formal-ledger-specifications)
03:22:16
[56c12ec0]
Artifacts generated from 9bad2d95b902b8a4d65ae0ddd267af70c7975cb2
(formal-ledger-specifications)
03:23:04
[d87f4ede]
Artifacts generated from 20e64b67da0e978bb131eac01c2c5518636de912
(formal-ledger-specifications)
03:48:46
[86b43dfb]
Artifacts generated from 692d07d496a1946bb24e1a08cd7ed396b01884bb
(formal-ledger-specifications)
03:51:18
[40fd9ad8]
Artifacts generated from 909bfeff7426af38b9843773a4338c54fcbd4697
(formal-ledger-specifications)
03:54:18
[b701c522]
Artifacts generated from 5c763bea0184bee11ee0afa22f99747ca00fa83a
(formal-ledger-specifications)
03:57:37
[b953dde1]
Artifacts generated from 85ecf8961ae630a05c7bbdc58a646b491c329451
(formal-ledger-specifications)
03:59:20
[1b7fe741]
Artifacts generated from 59a1d4dbc53a863fa2c95a830d71bf4b36eca2a6
(formal-ledger-specifications)
04:06:37
[0933535f]
Artifacts generated from a34c77bcdb15407af9da5763f08785d10412faee
(formal-ledger-specifications)
04:09:11
[01b4bc58]
Artifacts generated from 684a877bb90fa863f7ab84b6d38d8385cd10f05b
(formal-ledger-specifications)
04:10:14
[9037e579]
Artifacts generated from 954e053dcacdb5573a56a7bf92d97161b09f8360
(formal-ledger-specifications)
04:10:51
[19b63d5a]
Artifacts generated from 26129ff28ea76dfdbb3608c0f2701959fb6a39e4
(formal-ledger-specifications)
04:11:59
[bd5caa11]
Artifacts generated from 885782221272593795ca590599a60691d390c73f
(formal-ledger-specifications)
04:19:10
[e0c941b9]
Artifacts generated from e0ef901a15be272be0997555097715f3db9c0aa3
(formal-ledger-specifications)
04:22:59
[eceb6718]
Artifacts generated from 60bb4b728730de76b47629a584dd6bddd239b2a1
(formal-ledger-specifications)
04:28:03
[c8cd76dc]
Enhance governance proposal updates by fetching all proposals from Koios, identifying missing entries, and enriching them with metadata and voting summaries before inserting into Supabase. Improved logging for better traceability of operations.
(governance)
04:29:53
[3ab870fb]
Remove conditional check for specific repository in GitHub Actions workflow for updating Cardano dashboard data.
(governance)
04:39:39
[e23f8752]
Refactor governance proposal update process to handle both missing and active proposals in a single operation. Enhanced metadata fetching and logging, and implemented upsert functionality for better database management.
(governance)
04:42:10
[287a3265]
Implement deduplication of governance proposals fetched from Koios to ensure unique entries before processing. Updated related logging for clarity on proposal counts.
(governance)
04:44:23
[8ffe5381]
Add conditional check for specific repository in GitHub Actions workflow to ensure updates are only applied to the MeshJS/governance repository.
(governance)
05:07:12
[b06a947a]
Artifacts generated from bdcdc506c1a463e443e3bd3100829e15c3b125bc
(formal-ledger-specifications)
05:08:22
[5394c0c8]
Artifacts generated from a23510de923b624fb4419fae6b7333a6e75a1de9
(formal-ledger-specifications)
05:09:51
[7a4d3965]
Merge pull request #3891 from IntersectMBO/chore/disable-hardfork-proposal-test
(govtool)
05:10:02
[85d80e79]
Merge pull request #3892 from IntersectMBO/fix/access-gov-action-page-test
(govtool)
05:13:18
[dabd8de4]
Remove README.md for DRep Voting Database System and enhance voting-action.js to improve governance rationale fetching with better error handling and formatting preservation for comments.
(governance)
05:19:17
[e2e46738]
Refactor governance rationale fetching in voting-action.js to prioritize JSON parsing for cleaner data extraction, with enhanced fallback mechanisms using regex and control character cleaning for improved error handling and comment formatting preservation.
(governance)
07:02:19
[fd7382d0]
Refactor voting-action.js by removing unused functions for reading front matter and finding files by year, streamlining the codebase. Update metadata fetching logic to correctly reference proposal metadata URL.
(governance)
07:06:52
[c039f3da]
trace-dispatcher: failure to init PrometheusSimple handled leniently
(cardano-node)
07:30:00
[0ad5ccfd]
Merge pull request #20 from cardano-foundation/karknu/testnet-generation-tool
(cardano-ignite)
07:39:40
[b56cdc8d]
Merge pull request #2636 from input-output-hk/jpraynaud/2622-fix-kes-pallas
(mithril)
08:20:28
[bdab6b62]
Merge pull request #3893 from IntersectMBO/chore/update-govtool-to-v2.0.29
(govtool)
08:36:16
[0fd31e04]
Merge pull request #6282 from IntersectMBO/mkarg/prometheus-simple-lenient-startup
(cardano-node)
08:51:48
[5eb44f71]
Artifacts generated from e2000587e00c4e14f878fa736091a3638b1fb570
(formal-ledger-specifications)
08:52:28
[75b28233]
chore: adds additional prometheus metrics to voting-node | NPG-000 (#756)
(catalyst-core)
09:02:24
[80500fec]
feat(core): updating connections detail to align with new schema
(cf-identity-wallet)
09:16:03
[b9b6af7e]
Move `Twiddle` instances from alonzo & babbage-test packages to testlib
(cardano-ledger)
09:24:19
[033069e4]
Update CARDANO_CONFIG=./config/node/ for .env.IntegrationTest File
(cardano-rosetta-java)
09:28:22
[060753b0]
ci: rename android package namespace and add diagnostic of the build dir
(atala-prism-apollo)
09:47:07
[31861d41]
Merge pull request #78 from SundaeSwap-finance/whankinsiv/match_OpenAPI_spec
(acropolis)
09:50:23
[7c187b37]
cardano-rpc | Add UTxO RPC: Update cardano.proto & query.proto with definitions for readUtxos
(cardano-api)
09:51:28
[2eb8084e]
Merge pull request #79 from SundaeSwap-finance/whankinsiv/add_pause_to_snapshot_fetcher
(acropolis)
09:52:09
[6a98b961]
feature(client-lib,client-cli): add arg --allow-missing in cardano-db verify command
(mithril)
09:52:09
[3cc9a361]
feature(client-cli): adapt call of compute_cardano_database_message to handle the new typed error
(mithril)
10:25:25
[4c191b17]
Merge branch 'fix/f14rc6-bugs-fixes' into fix/proposal-submission-guard
(catalyst-voices)
10:40:18
[52d89372]
Edit Notation, Requirements, Components sections of genesis-design.md
(ouroboros-consensus)
10:40:51
[d6083357]
refactor(dmq): rename 'DmqConsumerPallas' to 'DmqConsumerClientPallas'
(mithril)
10:40:52
[d7a01e60]
refactor(dmq): rename 'DmqPublisherPallas' to 'DmqPublisherClientPallas'
(mithril)
10:41:28
[74ffa2ab]
Merge pull request #5160 from IntersectMBO/amesgen/simplify-bfci
(ouroboros-network)
10:43:12
[d9ce0e2a]
Merge branch 'main' into refactor/tech_improvements_face_iteration_45
(catalyst-voices)
10:43:44
[6f7af471]
Add vdom kernel patch script and readme instructions
(cardano-governance-voting-tool)
10:44:19
[7bfb3d01]
Deploying to gh-pages from @ IntersectMBO/plutus@2a8dc3e39bd6f1c1653f4174a5afb6dc65ca9b68 🚀
(plutus)
10:52:35
[40692bbe]
feat(dmq): add 'DmqPublisherServerPallas' implementation of 'DmqPublisherServer'
(mithril)
11:14:07
[86441a87]
add Plutus Benchmarks (customSmallerIsBetter) benchmark result for 2a8dc3e39bd6f1c1653f4174a5afb6dc65ca9b68
(plutus)
11:40:07
[a783f784]
refactor(docsite): split `swizzled-components-upgrade` into multiple recipes
(mithril)
11:59:59
[6bf85143]
Deploying to gh-pages from @ IntersectMBO/plutus@2a8dc3e39bd6f1c1653f4174a5afb6dc65ca9b68 🚀
(plutus)
12:13:44
[2989897b]
chore(deps): update console requirement from 0.15.8 to 0.16.0 in /hermes
(hermes)
12:15:50
[25ca4d36]
Add `LedgerExamples` data type and `Examples` to shelley testlib
(cardano-ledger)
12:15:51
[3efdea19]
Add `Examples` for tpraos-related types to `cardano-protocol-tpraos`
(cardano-ledger)
12:16:01
[8a91e12f]
Redefine Shelley Examples in cardano-ledger-api using shelley and tpraos
(cardano-ledger)
12:16:01
[8a19c319]
Redefine allegra Examples in cardano-ledger-api using testlib and tpraos
(cardano-ledger)
12:16:02
[316d6f9e]
Redefine mary Examples in cardano-ledger-api using testlib and tpraos
(cardano-ledger)
12:22:43
[55838e50]
Redefine alonzo Examples in cardano-ledger-api using testlib and tpraos
(cardano-ledger)
12:33:25
[2da86e1b]
Merge branch 'feat/voting_as_individual' into feat/voting_models_2953
(catalyst-voices)
12:37:42
[1946d311]
feat(dmq): add 'DmqPublisherServerPallas' implementation of 'DmqPublisherServer'
(mithril)
12:37:43
[43f550ae]
Merge remote-tracking branch 'origin/develop' into feature/cherypick-migrate-group-name
(cf-identity-wallet)
12:43:04
[b1175848]
Deploying to gh-pages from @ input-output-hk/hermes@a9fc6ae59bcb91a12aa441f259fe4dc627227ab4 🚀
(hermes)
12:59:22
[2a26c610]
Merge remote-tracking branch 'origin/develop' into VT20-1919-create-group-profile
(cf-identity-wallet)
13:05:49
[5d61b93c]
Merge remote-tracking branch 'origin/VT20-1919-create-group-profile' into feature/cherypick-migrate-group-name
(cf-identity-wallet)
13:10:53
[bba31b29]
refactor(client-lib+common): remove `TESTNET_MAGIC_ID` constant which is not used anymore
(mithril)
13:23:37
[0218b3f8]
Merge branch 'develop' into fix/YOEXT-971/nft-gallery-switch-wallet
(yoroi-frontend)
13:27:17
[02646d60]
Merge branch 'develop' into impr/YOEXT-2134/upd-nigthly-deploy-action
(yoroi-frontend)
13:33:26
[37f3172b]
chore(cat-voices): revert asn1lib to official pub.dev version (#3046)
(catalyst-voices)
13:33:45
[a0682b63]
Merge pull request #4090 from Emurgo/feat/YOEXT-1758/enable-notifications-setting
(yoroi-frontend)
13:34:20
[127b512d]
Merge branch 'develop' into fix/YOEXT-2085/user-delegate-preprod
(yoroi-frontend)
13:43:59
[90d6c394]
Merge branch 'feat/voting_models_2953' of github.com:input-output-hk/catalyst-voices into feat/voting_models_2953
(catalyst-voices)
13:47:41
[c6006a70]
Actually show ratified proposals but with a badge
(cardano-governance-voting-tool)
13:48:03
[0ded26b2]
refactor(client-lib+common): remove `TESTNET_MAGIC_ID` constant which is not used anymore
(mithril)
13:50:15
[de23c698]
Merge branch 'develop' into impr/YOEXT-2134/upd-nigthly-deploy-action
(yoroi-frontend)
13:59:46
[97212dd3]
Redefine alonzo Examples in cardano-ledger-api using testlib and tpraos
(cardano-ledger-specs)
14:01:55
[7919afcf]
Redefine babbage Examples in cardano-ledger-api using testlib and tpraos
(cardano-ledger-specs)
14:02:35
[1382d84a]
Merge pull request #4140 from Emurgo/impr/YOEXT-2134/upd-nigthly-deploy-action
(yoroi-frontend)
14:02:41
[b11617ec]
Merge pull request #6275 from IntersectMBO/nb/testnet_update_date
(cardano-node)
14:03:26
[d2e73455]
feature(client-cli): adapt call of compute_cardano_database_message to handle the new typed error
(mithril)
14:04:10
[44856c94]
chore(rust): allow rust-ipfs fork git source, allow OpenSSL licenses (#412)
(catalyst-ci)
14:05:22
[2af282fb]
feature(client-lib,client-cli): add arg --allow-missing in cardano-db verify command
(mithril)
14:07:57
[e1ecb6e4]
Change vote detail acknowledgement logic to adjust to multi voting
(council-toolkit-app)
14:12:06
[2998a1d3]
refactor(docsite): split `swizzled-components-upgrade` into multiple recipes
(mithril)
14:12:50
[b883e633]
Deploying to gh-pages from @ input-output-hk/catalyst-ci@44856c9452bb1083eec958f3d913190980703448 🚀
(catalyst-ci)
14:19:56
[d4ce9fdb]
Merge pull request #4141 from Emurgo/fix/YOEXT-2134/nightly-publish-action
(yoroi-frontend)
14:34:37
[293b96c9]
Redefine conway Examples in cardano-ledger-api using testlib and tpraos
(cardano-ledger)
14:34:44
[a850097c]
Merge pull request #4142 from Emurgo/fix/YOEXT-2134/nightly-publish-action-1
(yoroi-frontend)
14:40:44
[f19a4762]
Merge pull request #2641 from input-output-hk/djo/2622/future-proof-website
(mithril)
14:47:39
[21a60a96]
refactor: merge `DevNet` into `TestNet` variant and identify devnet with magic ID `42`
(mithril)
14:54:07
[2247de48]
Merge pull request #116 from golddydev/list-at/smart-for-negative-index
(stdlib)
14:55:44
[2dfd5617]
Update 5333603ea9346dde53f6adc395b44751ed41e9d308c9569c465b77264c41594552.json
(cardano-token-registry)
14:57:24
[ef58cdd2]
Merge pull request #1 from LayerCoinADA/LayerCoinADA-patch-1
(cardano-token-registry)
14:59:46
[f4a2f35c]
Deploying to gh-pages from @ input-output-hk/catalyst-ci@44856c9452bb1083eec958f3d913190980703448 🚀
(catalyst-ci)
15:06:05
[99b3c475]
Redefine alonzo Examples in cardano-ledger-api using testlib and tpraos
(cardano-ledger)
15:08:52
[9419aec9]
Redefine babbage Examples in cardano-ledger-api using testlib and tpraos
(cardano-ledger)
15:10:26
[b2df7157]
Refactor getInputHashes and getDataHashes; rename premises in UTxOw
(formal-ledger-specifications)
15:10:26
[c107fe50]
Rename collectP2Scripts inputs to collectP2Scripts; evalScripts to evalP2Scripts
(formal-ledger-specifications)
15:10:28
[d6716a83]
Move ScriptVerification to Ledger.Conway; remove dep. on Conformance
(formal-ledger-specifications)
15:12:07
[7c433c84]
Redefine conway Examples in cardano-ledger-api using testlib and tpraos
(cardano-ledger)
15:12:15
[73f14618]
Artifacts generated from 8f4442f84cd2db7a0a0571fc5ef4a5fc99bca07b
(formal-ledger-specifications)
15:26:08
[c1112780]
Artifacts generated from e5261eab2b2f0582037ff502c8df31b27c58b70e
(formal-ledger-specifications)
15:26:29
[c8569810]
feature(client-lib,client-cli): add arg --allow-missing in cardano-db verify command
(mithril)
15:26:29
[8d094cda]
feature(client-lib, examples): adapt examples with the new compute_cardano_database_message function
(mithril)
15:26:29
[122abef3]
fix(examples): realign immutables range with release-preprod environment
(mithril)
15:37:15
[05d99528]
Fix/Add constant casing property tests, add constant casing conformance cases
(plutus)
16:12:46
[3e83f531]
refactor: merge `DevNet` into `TestNet` variant and identify devnet with magic ID `42`
(mithril)
16:12:46
[32ea3f11]
refactor: remove `TESTNET_MAGIC_ID` constant which is not used anymore
(mithril)
16:12:47
[906a7b25]
refactor: remove unnecessary `--cardano-mode` flag from `cardano-cli` query scripts
(mithril)
16:12:47
[523091be]
feat(common): implement idiomatic conversion from `MagicId` to `CardanoNetwork`
(mithril)
16:22:25
[fb0f5d36]
feature(client-lib): display 10 elements of each missing and/or tampered immutables files in case of ImmutableFilesVerification error
(mithril)
16:22:25
[6b8dfdcb]
feature(client-lib, client-cli): introduce a function to download digests and verified them against certificate
(mithril)
16:22:25
[d310d7ef]
feature(client-lib): add function in VerifiedDigests to list tampered immutables files
(mithril)
16:22:25
[249c23a4]
fix(examples): realign immutables range with release-preprod environment
(mithril)
16:22:25
[11769838]
feature(client-lib,client-cli): add arg --allow-missing in cardano-db verify command
(mithril)
16:22:25
[cc140f0b]
WIP: implement list subset mecanism for json output and write a json file with all immutables files
(mithril)
16:22:25
[5243e084]
feature(client-lib, examples): adapt examples with the new compute_cardano_database_message function
(mithril)
16:22:25
[913ea97a]
refactor(client-lib): move merkleproof creation and verification inside the snapshotmessage computation
(mithril)
16:22:25
[93c3225c]
feature(client-lib): compute cardano database message verify tampered files
(mithril)
16:22:25
[8ec8e6cc]
feature(client-cli): adapt call of compute_cardano_database_message to handle the new typed error
(mithril)
16:22:25
[ee117360]
refactor(client-lib): remove compute_merkle_proof since logic is moved to compute_cardano_database_message
(mithril)
16:22:25
[42a9f4f9]
feature(client-lib): list missing immutable files when computing cardano database message with a structured error
(mithril)
16:43:40
[8886fe3c]
refactor: use the `CardanoNetwork` and magic IDs constants from `mithril-client` library in the `tools utxo-hd snapshot-converter` command in the client CLI
(mithril)
16:45:20
[98cfe1c7]
fix(balius): Make database name configurable (was fixed to 'network')
(helm-charts)
17:04:15
[837a12c4]
refactor(mempool): move capacity exceeded error formatting to MempoolFullError type
(dingo)
17:33:21
[0c6013a5]
fix(cat-gateway): set DB liveness in methods that check connections
(catalyst-voices)
17:33:21
[a50d4e23]
fix(cat-gateway): handle specific scylla session errors for pool disconnection
(catalyst-voices)
17:35:16
[971722c4]
add Haskell Benchmark (customSmallerIsBetter) benchmark result for 2d7353b560e84c58dc4eac685bf681dc4117d6c5
(cardano-ledger)
19:22:50
[364699cd]
add Haskell Benchmark (customSmallerIsBetter) benchmark result for 2d7353b560e84c58dc4eac685bf681dc4117d6c5
(cardano-ledger)
20:39:05
[39b4d666]
fix(balius): Make database name configurable (was fixed to 'network')
(helm-charts)
20:47:36
[62c6e680]
attempt to fix circular dep in build of fls-shake
(formal-ledger-specifications)
20:59:06
[4a6c664c]
feat: helper function to convert TransactionInput to PlutusData (#1108)
(gouroboros)
21:25:28
[b8296f4c]
Add placeholders for tests that will be migrated from Examples.BabbageFeatures
(cardano-ledger-specs)
21:25:28
[d8cc8500]
Delete BabbageFeatures invalid tests from cardano-ledger-test
(cardano-ledger-specs)
21:25:28
[5c6b270e]
Generalize return type of mkPlutusScript from Maybe to MonadFail
(cardano-ledger-specs)
21:27:47
[657d9df9]
Artifacts generated from d7a9be4564ee0418ea40826db2ce749454e51308
(formal-ledger-specifications)
21:58:16
[c4eb999d]
Add `LedgerExamples` data type and `Examples` to shelley testlib
(cardano-ledger-specs)
21:58:17
[17858e2c]
Add `Examples` for tpraos-related types to `cardano-protocol-tpraos`
(cardano-ledger-specs)
21:58:19
[930246e1]
Redefine Shelley Examples in cardano-ledger-api using shelley and tpraos
(cardano-ledger-specs)
22:01:03
[2124fd2f]
Redefine allegra Examples in cardano-ledger-api using testlib and tpraos
(cardano-ledger-specs)
22:01:29
[34dcdb2c]
build(deps): bump github.com/Salvionied/apollo from 1.1.1 to 1.2.0 (#413)
(bluefin)
22:01:38
[5d9494d6]
Redefine mary Examples in cardano-ledger-api using testlib and tpraos
(cardano-ledger-specs)
22:03:19
[97dbf265]
chore(deps): bump github.com/blinklabs-io/adder from 0.30.3 to 0.30.4 (#54)
(adder-library-starter-kit)
22:03:24
[ee1b69e1]
Redefine alonzo Examples in cardano-ledger-api using testlib and tpraos
(cardano-ledger-specs)
22:03:28
[af60411f]
Redefine babbage Examples in cardano-ledger-api using testlib and tpraos
(cardano-ledger-specs)
22:03:32
[e2f53883]
Redefine conway Examples in cardano-ledger-api using testlib and tpraos
(cardano-ledger-specs)
22:08:53
[0af8c368]
chore(deps): bump blinklabs-io/go from 1.24.4-1 to 1.24.5-1 (#350)
(tx-submit-api)
22:09:39
[c158b387]
chore(deps): Bump blinklabs-io/go from 1.24.4-1 to 1.24.5-1 (#234)
(tx-submit-api-mirror)
22:10:18
[b5551e3f]
chore(deps): Bump github.com/blinklabs-io/gouroboros (#233)
(tx-submit-api-mirror)
22:11:37
[a632d800]
chore(deps): Bump github.com/fxamacker/cbor/v2 from 2.8.0 to 2.9.0
(tx-submit-api-mirror)
22:37:39
[c83c269d]
Merge branch 'master' into 820-update-readme-contributing-et-al
(formal-ledger-specifications)
22:45:14
[a606b17c]
Artifacts generated from b5eb4fb64594bc3496766156597b2d75c77a0754
(formal-ledger-specifications)
23:00:37
[aa048ca1]
Artifacts generated from b7331b5f83291bbe3c4b1a5c987385acd95fc4e4
(formal-ledger-specifications)
23:01:09
[dd637b54]
Artifacts generated from fc7fb48a858703e8669171f7e3e76e942b61c3e1
(formal-ledger-specifications)
23:02:12
[dcb30547]
Move `Twiddle` instances from alonzo & babbage-test packages to testlib
(cardano-ledger)
23:02:14
[593da5a4]
Artifacts generated from 3d737b0d6e937080e1c31121a254cff483896fc6
(formal-ledger-specifications)
23:02:19
[d3d8d61e]
Add `LedgerExamples` data type and `Examples` to shelley testlib
(cardano-ledger)
23:02:20
[71ab7ab1]
Add `Examples` for tpraos-related types to `cardano-protocol-tpraos`
(cardano-ledger)
23:02:22
[70266d7d]
Redefine Shelley Examples in cardano-ledger-api using shelley and tpraos
(cardano-ledger)
23:02:26
[b183a097]
Redefine allegra Examples in cardano-ledger-api using testlib and tpraos
(cardano-ledger)
23:02:29
[a0f8779c]
Redefine mary Examples in cardano-ledger-api using testlib and tpraos
(cardano-ledger)
23:02:36
[0608faff]
Redefine alonzo Examples in cardano-ledger-api using testlib and tpraos
(cardano-ledger)
23:02:39
[6223bc07]
Redefine babbage Examples in cardano-ledger-api using testlib and tpraos
(cardano-ledger)
23:02:42
[ac398c23]
Redefine conway Examples in cardano-ledger-api using testlib and tpraos
(cardano-ledger)
23:02:46
[36739aeb]
Redefine dijkstra Examples in cardano-ledger-api using testlib & tpraos
(cardano-ledger)
23:04:37
[84de1402]
🟩 API (Specific property) is up (204 in 114 ms) [skip ci] [upptime]
(cf-token-metadata-registry-status)
23:04:37
[b934dee6]
🟩 API (All properties) is up (204 in 648 ms) [skip ci] [upptime]
(cf-token-metadata-registry-status)
23:04:37
[d0049cbf]
🟩 API (Batch) is up (204 in 112 ms) [skip ci] [upptime]
(cf-token-metadata-registry-status)
23:05:46
[dc272de4]
Artifacts generated from 6a1b600737159c057ad5cd9336f2374146dbdbca
(formal-ledger-specifications)
23:07:16
[158e0e6e]
🟥 1694ballot.cardano.org is down (0 in 0 ms) [skip ci] [upptime]
(cf-cip1694-ballot-status)
23:07:16
[ec9df37b]
🟥 event-api is down (0 in 0 ms) [skip ci] [upptime]
(cf-cip1694-ballot-status)
23:07:17
[4ffcfe12]
🟥 cast-vote-api is down (0 in 0 ms) [skip ci] [upptime]
(cf-cip1694-ballot-status)
23:07:17
[34afe757]
🟥 login-api is down (0 in 0 ms) [skip ci] [upptime]
(cf-cip1694-ballot-status)
23:07:17
[e8e6ba46]
🟥 blockchain-follower-api is down (0 in 0 ms) [skip ci] [upptime]
(cf-cip1694-ballot-status)
23:07:18
[10d01c13]
🟥 get-votes-api is down (0 in 0 ms) [skip ci] [upptime]
(cf-cip1694-ballot-status)
23:07:18
[4f27b7fc]
🟥 get-vote-receipt-api is down (0 in 0 ms) [skip ci] [upptime]
(cf-cip1694-ballot-status)
23:14:02
[7978aed1]
Redefine Shelley Examples in cardano-ledger-api using shelley and tpraos
(cardano-ledger)
23:14:06
[8e04d716]
Redefine allegra Examples in cardano-ledger-api using testlib and tpraos
(cardano-ledger)
23:14:09
[33dfc9a0]
Redefine mary Examples in cardano-ledger-api using testlib and tpraos
(cardano-ledger)
23:14:12
[2cd5446a]
Redefine alonzo Examples in cardano-ledger-api using testlib and tpraos
(cardano-ledger)
23:14:15
[7f494c96]
Redefine babbage Examples in cardano-ledger-api using testlib and tpraos
(cardano-ledger)
23:14:18
[61e3aa27]
Redefine conway Examples in cardano-ledger-api using testlib and tpraos
(cardano-ledger)
23:14:20
[1cf98b1b]
Redefine dijkstra Examples in cardano-ledger-api using testlib & tpraos
(cardano-ledger)
23:20:49
[b8d8f4ce]
sim-rs: support referencing txs from last stage in stracciatella
(ouroboros-leios-sim)
23:50:32
[e9b2af88]
Viable approach in the works. In process of removing UMap in favor of AccountStates
(cardano-ledger)
23:50:32
[bd35b1fc]
Add `Uniform` instance for `Ptr`, `SlotNo32`, `CertIx` and `TxIx`
(cardano-ledger)