Home / Reports / Feb 18, 2025
Tuesday, February 18, 2025
990 commits had been pushed across 100 repos by 126 authors. There were 9,093,192 additions and 2,255,493 deletions. Official weekly status updates can be found on essentialcardano.io.
Authors
![dependabot[bot]](https://avatars.githubusercontent.com/in/29110?v=4&s=80)
![hercules-ci[bot]](https://avatars.githubusercontent.com/in/24794?v=4&s=80)
![github-actions[bot]](https://avatars.githubusercontent.com/in/15368?v=4&s=80)
Repos Updated
- mithril143
- catalyst-voices107
- cardano-ledger50
- hydra42
- cardano-ledger37
- cardano-deposit-wallet32
- plutus28
- govtool27
- cardano-ledger-specs26
- ouroboros-leios26
- cf-identity-wallet21
- yoroi-frontend20
- cardano-api17
- hydra-poc17
- lsm-tree17
- formal-ledger-specifications16
- lace14
- aiken13
- cf-summit-evoting-status13
- ouroboros-leios-sim13
- ouroboros-network12
- blockfrost-platform11
- yoroi11
- cardano-node11
- cf-cip1694-ballot-status10
- CIPs10
- yoroi-mobile10
- ouroboros-consensus10
- cardano-node10
- cardano-sync-tests10
- lsm-tree10
- cardano-wallet9
- cardano-js-sdk8
- prelude7
- haskell.nix7
- pool_groups6
- cardano-token-registry6
- cf-token-metadata-registry-status6
- atala-prism-building-blocks6
- formal-ledger-specifications6
- plutarch6
- cardano-api5
- cardano-cli5
- boros5
- cardano-wallet-agda4
- constitution-committee4
- capkgs4
- cardano-playground4
- open-enterprise-agent4
- govtool-test-reports4
- Intersect-knowledge-base4
- Polkadot4
- dolos4
- adder3
- after-town-hall3
- ouroboros-mock3
- cardano-org3
- cardano-wallet3
- atala-prism-mediator3
- cardano-cli3
- fs-sim3
- cardano-transaction-lib3
- asteria3
- bluefin2
- buidler-fest-2024-workshop2
- bursa2
- cardano-models2
- cardano-ibc-incubator2
- cardano-parts2
- cizero2
- cc-portal2
- cardano-browser-tx2
- pallas2
- adalite2
- homebrew-tap1
- site1
- cardano-node-api1
- cardano-up1
- cdnsd1
- docker-mithril-client1
- gouroboros1
- node1
- nview1
- snek1
- tx-submit-api1
- txtop1
- cardano-rosetta-java1
- cf-java-rewards-calculation1
- ppbl2024-front-end1
- cbor1
- devx1
- stackage.nix1
- cardano-upgrades-gitbook1
- core-infrastructure-documentation1
- credential-manager-app1
- developer-experience1
- funding1
- plutarch-plutus1
- homebrew-tap1
- oura1
Commit Log
00:08:41
[458b86a4]
:card_file_box: Update status summary [skip ci] [upptime]
(cf-summit-evoting-status)
00:08:41
[72e7c002]
:pencil: Update summary in README [skip ci] [upptime]
(cf-summit-evoting-status)
00:10:02
[bcc9d254]
:pencil: Update summary in README [skip ci] [upptime]
(cf-token-metadata-registry-status)
00:10:02
[7aeeb145]
:card_file_box: Update status summary [skip ci] [upptime]
(cf-token-metadata-registry-status)
00:21:42
[30128805]
:card_file_box: Update status summary [skip ci] [upptime]
(cf-cip1694-ballot-status)
00:21:42
[f7ca62da]
:pencil: Update summary in README [skip ci] [upptime]
(cf-cip1694-ballot-status)
01:04:31
[16e6eec0]
Merge branch 'master' of github.com:IntersectMBO/plutus into zliu41/magic-inline
(plutus)
02:31:36
[ea12af72]
fix: Convert poolMargin from double to BigDecimal to fix rounding issue in preview (1 lovelace diff in preview epoch 372 where margin = 99.99%)
(cf-java-rewards-calculation)
02:59:58
[c67124be]
Deploying to gh-pages from @ IntersectMBO/plutus@61e0726cc3e6c2c82e8b2c62f67cae99316ee1f1 🚀
(plutus)
03:37:24
[5962d234]
Deploying to gh-pages from @ IntersectMBO/plutus@61e0726cc3e6c2c82e8b2c62f67cae99316ee1f1 🚀
(plutus)
04:55:28
[dd8ead9b]
Create e398b834d7091c0e932e56285b9e9a184dc5d60e6a155e49ab9764710014df10382d42697420436174
(cardano-token-registry)
04:58:57
[9fedb7ea]
Create e398b834d7091c0e932e56285b9e9a184dc5d60e6a155e49ab976471.0014df10382d42697420436174
(cardano-token-registry)
05:03:27
[3e30d25b]
e398b834d7091c0e932e56285b9e9a184dc5d60e6a155e49ab976471.0014df10382d42697420436174.json
(cardano-token-registry)
05:12:30
[b1ede3f4]
Create e398b834d7091c0e932e56285b9e9a184dc5d60e6a155e49ab976471.38422d42697420436174.json
(cardano-token-registry)
05:54:59
[73141f60]
abcdef1234567890abcdef1234567890abcdef1234567890abcdef1234567890.e398b834d7091c0e932e56285b9e9a184dc5d60e6a155e49ab976471.json
(cardano-token-registry)
07:11:36
[4649ff32]
Merge pull request #3013 from IntersectMBO/fix/2994-drep-directory-shouldnt-randomize-list-every-few-seconds
(govtool)
07:12:35
[eb06b426]
feat(#2984): add mathematical styling inside governance action metadata
(govtool)
07:38:27
[69eeb0ef]
Merge branch 'main' into feat/1699-implement-proposal-index-structure
(catalyst-voices)
07:53:21
[534c7802]
Merge branch 'main' into feat/proposal-editor-dont-validate-upfront-objects-and-lists
(catalyst-voices)
08:06:31
[7be4520c]
Merge branch 'main' into feat/documents_db_repo_integration_1763
(catalyst-voices)
08:07:06
[c1afd88e]
feat(proposals): replace ChangeCategoryButton with CategoryDropdown in ProposalsPage for enhanced UI and selection experience
(catalyst-voices)
08:11:52
[e5d302b1]
feat(cat-voices): update proposal index structure, proposal submission timeline (#1812)
(catalyst-voices)
08:11:54
[7311c200]
Deploying to gh-pages from @ input-output-hk/catalyst-voices@430338b7b74671a8b4dca29c9a9123e5e9ec8533 🚀
(catalyst-voices)
08:18:21
[20c152b1]
fix(proposals): update selected tab index in _FavoritesProposalsState to reflect correct category selection in proposals page
(catalyst-voices)
08:25:08
[cf352400]
Merge branch 'feat/documents_db_repo_integration_1763' of github.com:input-output-hk/catalyst-voices into feat/documents_db_repo_integration_1763
(catalyst-voices)
08:25:50
[0a078ca7]
Merge branch 'main' into feat/documents_db_repo_integration_1763
(catalyst-voices)
08:47:44
[66d3d5d2]
Merge pull request #3012 from IntersectMBO/feat/2984-add-mathematical-styling-for-governance-action-metadata
(govtool)
08:55:00
[a6cb9b99]
Merge pull request #3014 from IntersectMBO/chore/add-script-to-update-version
(govtool)
08:59:05
[fd0af53a]
Merge pull request #2317 from input-output-hk/djo/2216/bump-ci-build-to-ubuntu-2204
(mithril)
09:00:23
[d631c4c1]
Deploying to gh-pages from @ input-output-hk/catalyst-voices@c86e908f045e6f799cf41757a2ceedc45dffaf67 🚀
(catalyst-voices)
09:04:56
[b663ac14]
fix: update dRep abstain vote display in governance details page visibility
(govtool)
09:04:57
[8d6c85fd]
feat: add functionWaitedAssert for enhanced function execution with timeout and interval
(govtool)
09:15:41
[8fd765e9]
Parse transaction hash in output of "transaction submit", then check it is a live utxo
(cardano-node)
09:21:09
[e9479431]
refactor: simplify tests with 'MockFileDownloaderBuilder' in Cardano database client
(mithril)
09:21:10
[833c8c01]
refactor: 'download_unpack' function signature in Cardano database client
(mithril)
09:21:10
[9c00b0a5]
feat: add feedback events for immutable downloads in Cardano database client
(mithril)
09:21:11
[f0e0ad58]
feat: add feedback events for digest download in Cardano database client
(mithril)
09:21:11
[76abdc8e]
feat: add feedback events for ancillary downloads in Cardano database client
(mithril)
09:21:12
[9b0fc3aa]
feat: enhance concurrency level of immutable files download and unpack
(mithril)
09:21:12
[d6d39ae0]
refactor: move 'MockFileDownloaderBuilder' to 'file_downloader' module in client
(mithril)
09:21:12
[a4c742c8]
refactor: use 'MithrilResult' instead of 'StdResult' in Cardano database client
(mithril)
09:21:12
[b08ca7ae]
fix: download fails with ancillary download and last immutable file not in range
(mithril)
09:21:13
[f0b1152a]
refactor: simplify resolution of immutable and ancillary file uploaders
(mithril)
09:38:55
[51bf7d3f]
Deploying to gh-pages from @ IntersectMBO/govtool@5b41ffb4da4d11ff74c99ae84a6e049ca743026a 🚀
(govtool-test-reports)
09:39:01
[b8a7d3ed]
feat: build docker images via git workflow for new tags (#200)
(ouroboros-leios-sim)
09:41:12
[172d3d1d]
Merge branch 'main' into feat/proposal-editor-dont-validate-upfront-objects-and-lists
(catalyst-voices)
09:46:19
[f144555e]
Merge pull request #3015 from IntersectMBO/chore/add-script-to-update-version
(govtool)
09:50:32
[097ca259]
Move Arbitrary instance for `PV1.Data` to `cardano-ledger-binary`
(cardano-ledger)
09:50:32
[b900eecc]
Move Arbitrary instance for `Data`, `BinaryData` and `Datum` to core
(cardano-ledger)
09:54:50
[e2a88ec7]
Merge pull request #2319 from input-output-hk/djo/2216/bump-dockerfiles-to-debian-12
(mithril)
09:56:45
[c73ed649]
feat(ui): remove backdrop dismiss action from verify password
(cf-identity-wallet)
09:57:06
[a78683fe]
Merge pull request #1580 from input-output-hk/feat/detect-background-script-on-firefox
(cardano-js-sdk)
09:58:28
[29126301]
Deploying to gh-pages from @ input-output-hk/catalyst-voices@9438dcdf9ad5bba54a698e3e7d7c15e08d798830 🚀
(catalyst-voices)
10:06:12
[299bcd7b]
Merge pull request #1031 from IntersectMBO/plutus-script-cost-calculation-cmd
(cardano-cli)
10:10:52
[463ec481]
feat(cat-voices): convert object and list builders to be form fields (#1850)
(catalyst-voices)
10:10:57
[9e604752]
fix: [lw-12338] remove end message from activities tab in nami mode (#1718)
(lace)
10:11:14
[be1e6f2c]
Move Arbitrary instance for `PV1.Data` to `cardano-ledger-binary`
(cardano-ledger)
10:11:14
[ed2ddf1d]
Move Arbitrary instance for `Data`, `BinaryData` and `Datum` to core
(cardano-ledger)
10:12:11
[54224a4c]
Merge branch 'main' into feat/documents_db_repo_integration_1763
(catalyst-voices)
10:13:56
[ca57557b]
Removed draft docs and test reports for feat/proposal-editor-dont-validate-upfront-objects-and-lists
(catalyst-voices)
10:16:23
[6a9e51fc]
chore: remove `sanchonet` entry from the networks compatibility JSON file
(mithril)
10:16:24
[d8ffb212]
docs: remove `testing-sanchonet` from Mithril networks configurations in the documentation website
(mithril)
10:20:50
[46f10262]
add minor precisions to record-field syntax on destructuring and pattern-matching.
(site)
10:21:56
[9e8e9477]
fix: [lw-12338] remove end message from activities tab in nami mode (#1718)
(lace)
10:30:02
[55987d61]
Merge pull request #2300 from input-output-hk/dlachaume/2296/sanchonet-decommission
(mithril)
10:31:33
[4de614ce]
Deploying to gh-pages from @ input-output-hk/catalyst-voices@ee4a20ad01492941a51194eb4b3a52348cdbbc3c 🚀
(catalyst-voices)
10:32:10
[45cf3cdd]
Deploying to gh-pages from @ IntersectMBO/govtool@d03f7c64ec993f75814241416aa59c0605f53bff 🚀
(govtool-test-reports)
10:35:49
[2e7e022c]
ci: remove `macos-14-large` from the `build` and `test` jobs in the CI workflow and remove the built artifacts download step in distributions
(mithril)
11:00:07
[de7ebdca]
Deploying to gh-pages from @ IntersectMBO/govtool@f144555e18e7e31331c2df40a7586b76b459c3ef 🚀
(govtool-test-reports)
11:01:55
[875d0901]
Merge pull request #2277 from input-output-hk/dlachaume/2250/end-support-for-macos-x64-ci-builds
(mithril)
11:04:33
[6ecbfa06]
feat: increase transactionSummaryInspector timeout and make fake assetProvider build an fake asset (#1717)
(lace)
11:19:06
[b6396731]
feat(proposals): add search input field and functionality to filter proposals by search value in ProposalsPage and pagination module
(catalyst-voices)
11:20:45
[7fa32a87]
feat(cat-voices): integrate db with documents repository and service part1 (#1820)
(catalyst-voices)
11:20:58
[7fb2b12e]
fix/fetch-from-upfs-url-with-axios: fixed retrieving data from ipfs url with axios
(cc-portal)
11:23:49
[d3990009]
Removed draft docs and test reports for feat/documents_db_repo_integration_1763
(catalyst-voices)
11:38:24
[5591e757]
feat: increase transactionSummaryInspector timeout and make fake assetProvider build an fake asset (#1717)
(lace)
11:44:11
[9d843c74]
fix/fetch-from-upfs-url-with-axios: fixed retrieving data from ipfs url with axios (#549)
(cc-portal)
11:54:16
[b4c3df1e]
fix: readd decrementing of the `cardano_node_connections` metrics gauge
(blockfrost-platform)
11:57:12
[e7df4a2c]
Use at least the docker-compose in the previous commit to bootstrap the tests
(cardano-deposit-wallet)
12:10:00
[bede1632]
Update pages from paolino/9/add-mithril-to-docker-compose to test
(cardano-deposit-wallet)
12:14:08
[20894ebc]
cardano-testnet: allow to take node configuration file as input, preserve existing behavior too
(cardano-node)
12:14:47
[02e3bf60]
Merge pull request #499 from IntersectMBO/recursion-ninja/golden-test-suite
(lsm-tree)
12:16:03
[b4bcadae]
Deploying to gh-pages from @ input-output-hk/catalyst-voices@e8367ffbd3253e4bdb76df794f7d59cbb51a609e 🚀
(catalyst-voices)
12:22:54
[85b45764]
Merge pull request #180 from blockfrost/fix/readd-gauge-decrement
(blockfrost-platform)
12:31:49
[b9bb7e1b]
chore: replaced inputs/outputs token diff w/ checkout receiver utxo validity. Also replaced positional patternl match w/ nominal one.
(cardano-ibc-incubator)
12:34:18
[58a65e46]
Deploying to gh-pages from @ input-output-hk/catalyst-voices@d4c84fce03565c23e4387c96e5ebd6a5ede629e0 🚀
(catalyst-voices)
12:38:31
[a00fa602]
Include deserialisation of stake keys in deserialiseAnyVerificationKeyTextEnvelope
(cardano-api)
12:38:40
[3bbff3f0]
fix(wallet-mobile): Fix route path comparison for TX history screen
(yoroi-mobile)
12:45:27
[72a89c7e]
Merge pull request #6003 from IntersectMBO/smelc/test-cli-transaction-submit-new-output
(cardano-node)
12:49:06
[06c04140]
Add mithril docker based instructions to docker based installation
(cardano-deposit-wallet)
12:55:53
[2ff5fa4e]
Merge pull request #4894 from IntersectMBO/js/readme-link
(cardano-ledger-specs)
12:59:20
[b0130fe5]
add Haskell Benchmark (customSmallerIsBetter) benchmark result for 2ff5fa4e8c6b773748799981ef44ef6a62cd5c92
(cardano-ledger-specs)
13:02:22
[f95a273a]
cardano-testnet: remove possibility to programmatically pass a custom node configuration file (it was unused)
(cardano-node)
13:13:31
[7b54ab3a]
Merge pull request #756 from IntersectMBO/mgalazyn/chore/remove-stylish-haskell
(cardano-api)
13:14:53
[573a0a3c]
fix(wallet-mobile): Fix route path comparison for TX history screen (#3837)
(yoroi)
13:18:43
[c809065d]
chore: extract background and foreground colors to widget state property
(catalyst-voices)
13:22:50
[01d725e5]
Removed draft docs and test reports for feat/documents_db_repo_part2
(catalyst-voices)
13:32:17
[6949c7ff]
Merge branch 'master' into 641-incorporate-feedback-from-the-second-audit
(formal-ledger-specifications)
13:34:39
[e3a67da5]
fix: add cpu_time_s field to track total CPU time across cores
(ouroboros-leios)
13:48:10
[0459379e]
cardano-testnet: remove possibility to programmatically pass a custom node configuration file (it was unused)
(cardano-node)
13:51:22
[eeebf13b]
fix: add cpu_time_s field to track total CPU time across cores
(ouroboros-leios)
13:56:49
[f3e7e681]
641-incorporate-feedback-from-the-second-audit (#662)
(formal-ledger-specifications)
14:11:22
[09275240]
Merge branch 'master' into 341-reference-previous-specifications-other-material
(formal-ledger-specifications)
14:14:37
[92b8b2ed]
Deploying to gh-pages from @ IntersectMBO/govtool@e862c35c42c7080d589a789f28dfc075f16e65da 🚀
(govtool-test-reports)
14:20:03
[99a5a9bd]
Updated for fd4d0b9588aa3ec56abc27f436bdca9ddd995304
(formal-ledger-specifications)
14:22:06
[329b4000]
Generate code for eadaea0d5101a1396d30a3ac5f9dee1db99e8c9c
(formal-ledger-specifications)
14:22:54
[35a51319]
Deploying to gh-pages from @ input-output-hk/catalyst-voices@d0af143f2abee9d05e711a3fcf16e91e71d7cd0d 🚀
(catalyst-voices)
14:43:28
[1b3e1d98]
Add mithril docker based instructions to docker based installation
(cardano-deposit-wallet)
14:46:59
[8b57443d]
Generate code for 3af0872f50e4c67b0c8a110049dc7c092a59ce02
(formal-ledger-specifications)
14:49:17
[f2945fe1]
Merge branch 'master' into 652-remove-superscripts-from-rec-constr
(formal-ledger-specifications)
14:50:43
[a1baa5f6]
Docs: Fix description of the versions for the landing page
(cardano-deposit-wallet)
14:51:50
[e6fb0fcb]
Prove that `map` preserves `isDeduplicated` for injective functions (#155)
(cardano-wallet-agda)
14:52:00
[8edf73ef]
cardano-testnet: allow to take node configuration file as input, preserve existing behavior too
(cardano-node)
15:01:03
[7433a5b3]
Move Arbitrary instance for `PV1.Data` to `cardano-ledger-binary`
(cardano-ledger)
15:01:04
[915d36f1]
Move Arbitrary instance for `Data`, `BinaryData` and `Datum` to core
(cardano-ledger)
15:01:41
[b3a2038b]
add Haskell Benchmark (customSmallerIsBetter) benchmark result for 2ff5fa4e8c6b773748799981ef44ef6a62cd5c92
(cardano-ledger)
15:02:19
[aee7965f]
Generate code for 0da7ed0877bae0449d9fbc3ca04877e0a0ac5dac
(formal-ledger-specifications)
15:04:00
[018eb568]
GITBOOK-787: gemma.dakin's Feb 18 changes tender to proposal changes
(Intersect-knowledge-base)
15:08:39
[faf9993e]
Generate code for e452c16f427b4ab2c968bfc7d55f27357757ed3f
(formal-ledger-specifications)
15:18:06
[499e6d67]
feat: scaffold new Cardano database snapshot restoration events with the feedback receiver
(mithril)
15:26:10
[7f94db2a]
Modify `estimateTransactionKeyWitnessCount` to estimate simple scripts too
(cardano-api)
15:26:16
[b8c1e952]
fixup! fix(core): withdrawal calculation in computeImplicitCoin
(cardano-js-sdk)
15:27:41
[e185ab5d]
Deploying to gh-pages from @ input-output-hk/catalyst-voices@87eca7223c77711a4930a5fbeaac18ed5812c429 🚀
(catalyst-voices)
15:38:37
[ddfbdef8]
Merge remote-tracking branch 'origin/master' into ana/asdata-product-types
(plutus)
15:39:52
[89715789]
Remove redundant constraint from DecCBOR instance for AlonzoTxWitsRaw
(cardano-ledger)
15:39:52
[82cf52d6]
Extract local bindings used to build TxWits decoder as function
(cardano-ledger-specs)
15:39:52
[1eaae3a9]
Rename `segwitTx` to distinguish `Annotator` from simple version
(cardano-ledger)
15:56:17
[4174e1b3]
GITBOOK-789: gemma.dakin's Feb 18 changes tender vs proposal
(Intersect-knowledge-base)
16:04:06
[f089acd5]
Merge pull request #3857 from Emurgo/sorin/YOEXT-1718/portfolio-sort
(yoroi-frontend)
16:09:21
[c09fc509]
Add `DecCBOR` instances for types in `cardano-ledger-shelley`
(cardano-ledger-specs)
16:10:02
[de4d9813]
WIP Generate KES and VRF key in case of standalone cardano-testnet execution (try to generate blocks)
(cardano-node)
16:10:44
[6397d769]
Add `DecCBOR` instances for types in `cardano-ledger-allegra`
(cardano-ledger-specs)
16:19:36
[5f8b39af]
Deploying to gh-pages from @ IntersectMBO/plutus@7cc069b3f6352d153edf22f8075f84b817ebc2ae 🚀
(plutus)
16:21:02
[36d2b444]
Minor edits and clarifications to vote/certificate specification
(ouroboros-leios)
16:21:03
[5a62ace6]
Merge branch 'develop' into feat/YOEXT-1692/notifications-layout-component
(yoroi-frontend)
16:21:06
[965ecec5]
Add `DecCBOR` instances for types in `cardano-ledger-alonzo`
(cardano-ledger-specs)
16:22:20
[b4b75755]
Add functions to test the equivalence of `DecCBOR` instances
(cardano-ledger-specs)
16:22:20
[0c788a9d]
Move Arbitrary instance for `PV1.Data` to `cardano-ledger-binary`
(cardano-ledger-specs)
16:22:20
[9d1b099d]
Add check for non-Annotator version of golden serialsation tests
(cardano-ledger)
16:22:21
[0357ba8f]
Add tests to check equivalence of `DecCBOR` instances via `Arbitrary` data
(cardano-ledger-specs)
16:22:21
[75befd67]
Move Arbitrary instance for `Data`, `BinaryData` and `Datum` to core
(cardano-ledger)
16:22:21
[a212e384]
Add tests to check equivalence of `DecCBOR`instances via cddl and Huddle
(cardano-ledger)
16:22:59
[e4eca91e]
Deploying to gh-pages from @ IntersectMBO/plutus@7cc069b3f6352d153edf22f8075f84b817ebc2ae 🚀
(plutus)
16:26:40
[c7c0f2bc]
Merge pull request #42 from IntersectMBO/generate_sync_report
(cardano-sync-tests)
16:30:23
[3795f82c]
Generate code for ea5e75c81ce97f42014c31048ae33a374c8abad6
(formal-ledger-specifications)
16:31:17
[6057d872]
Merge branch 'fix/db_injection' of github.com:input-output-hk/catalyst-voices into fix/db_injection
(catalyst-voices)
16:31:31
[dca83ad7]
add Plutus Benchmarks (customSmallerIsBetter) benchmark result for 7cc069b3f6352d153edf22f8075f84b817ebc2ae
(plutus)
16:40:15
[ed95198a]
fixup! fix(core): withdrawal calculation in computeImplicitCoin
(cardano-js-sdk)
16:40:59
[461c67d9]
Included SHA256 when converting BLS point to rational for sortition
(ouroboros-leios)
16:56:46
[d9e424a5]
Updates to BLS specification and hashing from point (#203)
(ouroboros-leios-sim)
17:03:56
[d852539b]
Remove redundant constraint from DecCBOR instance for AlonzoTxWitsRaw
(cardano-ledger)
17:03:59
[87fcfe7d]
Extract local bindings used to build TxWits decoder as function
(cardano-ledger)
17:03:59
[e20dbd8c]
Add `DecCBOR` instances for types in `cardano-ledger-core`
(cardano-ledger-specs)
17:03:59
[a212d65f]
Rename `segwitTx` to distinguish `Annotator` from simple version
(cardano-ledger)
17:04:03
[d6f78971]
Add check for non-Annotator version of golden serialsation tests
(cardano-ledger)
17:04:04
[ca052b2f]
Move Arbitrary instance for `PV1.Data` to `cardano-ledger-binary`
(cardano-ledger)
17:04:05
[996f7ac3]
Move Arbitrary instance for `Data`, `BinaryData` and `Datum` to core
(cardano-ledger)
17:04:05
[11a9ffd7]
Add tests to check equivalence of `DecCBOR` instances via `Arbitrary` data
(cardano-ledger-specs)
17:04:06
[34f3925f]
Add tests to check equivalence of `DecCBOR`instances via cddl and Huddle
(cardano-ledger-specs)
17:11:20
[c1b3f514]
refactor: simplify tests with 'MockFileDownloaderBuilder' in Cardano database client
(mithril)
17:11:21
[7e8cddd6]
refactor: 'download_unpack' function signature in Cardano database client
(mithril)
17:11:22
[5139bc39]
feat: add feedback events for immutable downloads in Cardano database client
(mithril)
17:11:22
[8005d7b9]
feat: add feedback events for digest download in Cardano database client
(mithril)
17:11:22
[01c8bd64]
feat: add feedback events for ancillary downloads in Cardano database client
(mithril)
17:11:23
[9fa15bba]
refactor: move 'MockFileDownloaderBuilder' to 'file_downloader' module in client
(mithril)
17:11:24
[4ab44df4]
fix: download fails with ancillary download and last immutable file not in range
(mithril)
17:11:24
[ad7c36a7]
feat: enhance concurrency level of immutable files download and unpack
(mithril)
17:11:24
[a0dc3f36]
refactor: use 'MithrilResult' instead of 'StdResult' in Cardano database client
(mithril)
17:11:25
[b7d1807f]
refactor: simplify resolution of immutable and ancillary file uploaders
(mithril)
17:11:26
[b07fe824]
fix: 'CardanoDatabaseClientDependencyInjector' use of 'http_client' instead of 'aggregator_client' prefix
(mithril)
17:15:17
[9da85a16]
Deploying to gh-pages from @ input-output-hk/catalyst-voices@9834baf5fb3fed9d325223912fba5ee7810ea82c 🚀
(catalyst-voices)
17:17:42
[9243d80c]
Merge branch 'develop' into feat/YOEXT-1692/notifications-layout-component
(yoroi-frontend)
17:17:57
[06c3849c]
Merge pull request #3846 from Emurgo/feat/YOEXT-1692/notifications-layout-component
(yoroi-frontend)
17:40:56
[f6dcf762]
Add check for non-Annotator version of golden serialsation tests
(cardano-ledger)
17:40:57
[7d9f91ee]
Move Arbitrary instance for `Data`, `BinaryData` and `Datum` to core
(cardano-ledger-specs)
17:40:57
[60f64875]
Move Arbitrary instance for `PV1.Data` to `cardano-ledger-binary`
(cardano-ledger)
17:40:58
[0f072f37]
Add tests to check equivalence of `DecCBOR`instances via cddl and Huddle
(cardano-ledger)
17:40:58
[db6b76ed]
Add tests to check equivalence of `DecCBOR` instances via `Arbitrary` data
(cardano-ledger)
17:53:05
[244e9e38]
Merge pull request #6003 from IntersectMBO/smelc/test-cli-transaction-submit-new-output
(cardano-node)
17:53:26
[5410a693]
refactor(issue558): extract flipRandomBitInRandomFile from prop_flipSnapshotBit
(lsm-tree)
17:56:02
[05978957]
Deploying to gh-pages from @ IntersectMBO/plutus@262adfd2c7fadb6d89a3c1835eb36b7f85bcf09d 🚀
(plutus)
18:11:07
[97cd975a]
Merge pull request #6003 from IntersectMBO/smelc/test-cli-transaction-submit-new-output
(cardano-node)
18:12:32
[996bed1d]
add Plutus Benchmarks (customSmallerIsBetter) benchmark result for 262adfd2c7fadb6d89a3c1835eb36b7f85bcf09d
(plutus)
19:46:36
[97ef3797]
Deploying to gh-pages from @ IntersectMBO/plutus@2a15b2375534ee0c3e579b828faca75d325ef04a 🚀
(plutus)
19:53:49
[9b3368e6]
add Plutus Benchmarks (customSmallerIsBetter) benchmark result for 2a15b2375534ee0c3e579b828faca75d325ef04a
(plutus)
20:47:49
[9b898887]
Removed helper propagate functions, now you must implement propagate. Lots of examples.
(cardano-ledger)
20:47:49
[efd421ff]
Added GenExperiment, added HasSpec Bool instance in NumSpecExperiment
(cardano-ledger)
20:47:49
[eb8a8500]
Union, To, From type checking, some semantics still to go.
(cardano-ledger-specs)
20:47:49
[27201707]
Cleaned up, Lots of work on Foldy, introduced the Fun type, added Evidence to Contexts.
(cardano-ledger-specs)
20:47:49
[d488eb1a]
Removed (All HasSpec dom) (HasSpec rng) from Function symbol, but addded them to App, This makes is easier to make FunctionSymbol instances, maybe?
(cardano-ledger)
20:47:49
[49285f96]
Syntax, NumSpec, Conformance Experiment to the build chain, working on Simplify and Sum Experiment.
(cardano-ledger)
20:47:49
[fd7f23ae]
Added moved semantis to Witness, added Constraint parameter to FunctionSymbol
(cardano-ledger)
20:47:49
[85528b4a]
Added NumSpec and functions compose id flip, New file NumSpecExperiment.hs
(cardano-ledger-specs)
20:47:49
[ae37d47d]
Added Constrained.Experiment.Specs.Num, renamed Constrained.Experiment.Specs.Sum to Constrained.Experiment.Specs.SumProd
(cardano-ledger)
20:47:49
[d3566775]
Moved toCtx to TheKnot, added Specs.Pairs to repo, experiments have all worked out.
(cardano-ledger)
20:54:04
[31e48fb9]
Merge pull request #1669 from Plutonomicon/marcusbfs/http-ogmios
(cardano-browser-tx)
20:55:36
[157a827a]
Deploying to gh-pages from @ Plutonomicon/cardano-transaction-lib@31e48fb9205c261f1e2d780f8bde1d67d2a59352 🚀
(cardano-browser-tx)
22:19:20
[6b250a29]
detokenize macro so href won't append `pdf` to url
(formal-ledger-specifications)
23:03:57
[5ffeec79]
🟩 API (Specific property) is up (204 in 118 ms) [skip ci] [upptime]
(cf-token-metadata-registry-status)
23:03:57
[ff01a409]
🟩 API (Batch) is up (204 in 116 ms) [skip ci] [upptime]
(cf-token-metadata-registry-status)
23:03:57
[b5714a10]
🟩 API (All properties) is up (204 in 684 ms) [skip ci] [upptime]
(cf-token-metadata-registry-status)
23:05:35
[7c07df0b]
🟩 voting.summit.cardano.org is up (200 in 564 ms) [skip ci] [upptime]
(cf-summit-evoting-status)
23:05:36
[355da5e8]
🟥 event-api is down (404 in 566 ms) [skip ci] [upptime]
(cf-summit-evoting-status)
23:05:36
[3dc879ec]
🟩 user-verification-api is up (405 in 529 ms) [skip ci] [upptime]
(cf-summit-evoting-status)
23:05:37
[81134c62]
🟩 login-api is up (401 in 373 ms) [skip ci] [upptime]
(cf-summit-evoting-status)
23:05:37
[78d0f1ef]
🟥 blockchain-follower-api is down (404 in 290 ms) [skip ci] [upptime]
(cf-summit-evoting-status)
23:05:38
[90189b17]
🟩 get-vote-receipt-api is up (401 in 79 ms) [skip ci] [upptime]
(cf-summit-evoting-status)
23:05:38
[27a38248]
🟩 cast-vote-api is up (401 in 85 ms) [skip ci] [upptime]
(cf-summit-evoting-status)
23:05:38
[c7f76e66]
🟩 get-votes-api is up (401 in 79 ms) [skip ci] [upptime]
(cf-summit-evoting-status)
23:05:39
[eaeb0c87]
🟩 keria-provisioning is up (405 in 331 ms) [skip ci] [upptime]
(cf-summit-evoting-status)
23:06:04
[29fcd5e6]
🟥 1694ballot.cardano.org is down (0 in 0 ms) [skip ci] [upptime]
(cf-cip1694-ballot-status)
23:06:05
[7018a2be]
🟥 blockchain-follower-api is down (0 in 0 ms) [skip ci] [upptime]
(cf-cip1694-ballot-status)
23:06:05
[bffcfe0c]
🟥 event-api is down (0 in 0 ms) [skip ci] [upptime]
(cf-cip1694-ballot-status)
23:06:05
[6bcf44d1]
🟥 login-api is down (0 in 0 ms) [skip ci] [upptime]
(cf-cip1694-ballot-status)
23:06:06
[6cdaef4b]
🟥 get-vote-receipt-api is down (0 in 0 ms) [skip ci] [upptime]
(cf-cip1694-ballot-status)
23:06:06
[dd3724fe]
🟥 get-votes-api is down (0 in 0 ms) [skip ci] [upptime]
(cf-cip1694-ballot-status)
23:06:06
[b4e75dba]
🟥 cast-vote-api is down (0 in 0 ms) [skip ci] [upptime]
(cf-cip1694-ballot-status)
23:08:42
[c2da197b]
Merge branch '621-add-diagrams-to-pdf' of github.com:IntersectMBO/formal-ledger-specifications into 621-add-diagrams-to-pdf
(formal-ledger-specifications)
23:08:53
[9d29171c]
Merge branch 'master' into 621-add-diagrams-to-pdf
(formal-ledger-specifications)
23:19:47
[304fcda5]
Generate code for 12f831c8a1e32f2026d84f43fcc337d224374baa
(formal-ledger-specifications)
23:55:45
[27597554]
chore(deps-dev): bump typescript-eslint from 8.22.0 to 8.24.0 (#139)
(after-town-hall)