Home / Reports / Oct 3, 2023
Tuesday, October 3, 2023
52 commits had been pushed across 17 repos by 25 authors. There were 10,360,324 additions and 1,194,200 deletions. Official weekly status updates can be found on essentialcardano.io.
Authors
Repos Updated
- catalyst-core11
- cardano-node-tests6
- formal-ledger-specifications4
- hydra-poc4
- sanchonet4
- atala-prism-wallet-sdk-ts3
- cardano-api3
- plutus3
- cardano-token-registry2
- cardano-updates2
- haskell.nix2
- thorn-calculus2
- ledgerjs-cardano-shelley2
- cf-explorer1
- CIPs1
- hydra1
- stackage.nix1
Commit Log
10:05:42
[f9546308]
Deploying to gh-pages from @ input-output-hk/plutus@2a7a949ea1a7228ee2fd2bc582d9722f4e53555f 🚀
(plutus)
11:15:58
[ab109484]
add Plutus Benchmarks (customSmallerIsBetter) benchmark result for 2a7a949ea1a7228ee2fd2bc582d9722f4e53555f
(plutus)
12:34:21
[750a4838]
Merge `improvement/sync-channel-definition` of pull request #119 into `master`
(thorn-calculus)
13:21:52
[fa2b389e]
Merge `enhancement/untyped-synchronous-channels` of pull request #123 into `master`
(thorn-calculus)
16:47:12
[420a5d18]
Remove the old Computational in favour of the new representation
(formal-ledger-specifications)
16:47:12
[649afa00]
Dummy-import Tactic.DeriveComp so we don't have to delete it
(formal-ledger-specifications)
17:33:09
[6a647259]
Updated for 649afa00cabd942bc8127fa2d0371320242db3db
(formal-ledger-specifications)
20:58:49
[4cab0d90]
Merge pull request #1969 from input-output-hk/add_missing_script_hash_key
(cardano-node-tests)
21:05:22
[6b2fd1be]
Merge pull request #1970 from input-output-hk/dependabot/pip/urllib3-2.0.6
(cardano-node-tests)
21:05:40
[463b9c4d]
Merge pull request #1971 from input-output-hk/fix_reg_cleanup
(cardano-node-tests)