Home / Reports / Nov 9, 2023

Thursday, November 9, 2023

42 commits had been pushed across 18 repos by 19 authors. There were 6,676,660 additions and 63,018 deletions. Official weekly status updates can be found on essentialcardano.io.

Authors

github sgillespie jonathanknowles rhyslbw coot stevenj michaelpj lehins mkoura williamdemeo vsubhuman effectfully web-flow github-actions[bot] abailly-iohk banklesss Kartiiyer12 github-merge-queue[bot]

Repos Updated

Commit Log

00:01:30 [03fa8aa6] deploy: eb9c007380d87f8552a001563957435614175029 (cardano-updates)
00:09:11 [0018c995] Automatic Update (stackage.nix)
00:50:34 [a125c5b5] Update Hackage and Stackage (haskell.nix)
03:26:22 [35ef821f] fix(nix): Add cardano-smash-server with basic-auth disabled (#1557) (cardano-db-sync)
06:15:18 [5c5cb5a6] Merge pull request #3648 from zwilling/aristotle (cardano-token-registry)
07:41:10 [41f8f468] Other pdf cleanup items: change summation symbol (#293) (formal-ledger-specifications)
07:52:18 [498a4b3c] Updated for 41f8f46816a097dad464942a82caf78ba99237ff (formal-ledger-specifications)
07:59:03 [16faf6d6] Merge pull request #2016 from input-output-hk/angerman/p2n-based-on-nixpkgs (cardano-node-tests)
09:15:48 [b2d43136] docs(docs): Add options to delete to mirror building docs. (catalyst-ci)
09:18:39 [81c0a448] Merge pull request #87 from input-output-hk/feat/sql-linter (catalyst-ci)
09:21:38 [a3b6e689] Merge branch 'master' into branch-delete-fixes (catalyst-ci)
09:24:28 [1de4136b] ci(docs): remove test dump from github action on docs build (catalyst-ci)
09:29:30 [14974ff9] Use `Write.UTxO` for `ErrBalanceTxInsufficientCollateralError`. (#4178) (cardano-wallet)
09:36:42 [cf11b11f] docs(docs): Add simple documentation about branch PR publishing. (catalyst-ci)
09:41:27 [6a32bf16] Merge pull request #90 from input-output-hk/branch-delete-fixes (catalyst-ci)
09:42:15 [00ffa01c] Deploying to gh-pages from @ input-output-hk/catalyst-ci@6a32bf1673a4b1aa799146c373692c1c1c02c788 🚀 (catalyst-ci)
09:42:32 [7d1638e5] Removed Draft Docs for branch-delete-fixes (catalyst-ci)
10:24:03 [ce984893] New Crowdin updates (#2889) (yoroi)
10:56:11 [56c42644] Various cleanup items: Fig 12 -- axiomatic rules (#290) (formal-ledger-specifications)
11:06:40 [fa9b8aee] Updated for 56c42644627ad6790ba8d10d7dd577e633facc17 (formal-ledger-specifications)
11:11:13 [ac8e8387] Update to new nothunks (#5616) (plutus)
11:13:02 [2256cf61] Deploying to gh-pages from @ input-output-hk/plutus@ac8e8387a75a169e30ebd7ccc57c89781be235ce 🚀 (plutus)
12:38:57 [5051d606] Other pdf cleanup items: Fig 21 too big (#294) (formal-ledger-specifications)
12:45:14 [167555d9] Updated for 5051d606e94cfdfbd40549c8b0a8f53943227de1 (formal-ledger-specifications)
12:55:07 [bc1a359e] add Plutus Benchmarks (customSmallerIsBetter) benchmark result for ac8e8387a75a169e30ebd7ccc57c89781be235ce (plutus)
13:57:23 [d3fcaa09] fix: modal (#2891) (yoroi)
15:03:59 [f8162b8f] Merge pull request #2021 from input-output-hk/submit_api_plutusv1_mint_build (cardano-node-tests)
15:12:46 [16545dba] fix(swap): empty orders list image (#2893) (yoroi)
15:14:19 [dcab2042] deploy: e54b1e96895d784dd1761bb948ecb9a8b463ae89 (cardano-updates)
16:19:51 [0b727100] deploy: 7c34db0a3d8c59bf8fc4a6ff3a2c94b5a9d65a7d (cardano-api)
16:41:47 [92ce7113] Expose 'unSatInt' and 'fromSatInt' and add instances for 'CostModelApplyError' (#5618) (plutus)
16:53:26 [33ba914e] Merge pull request #446 from input-output-hk/coot/fix-nix (cardano-base)
17:00:02 [c235a067] Updated (cardano-base)
17:03:23 [f27ba48d] Deploying to gh-pages from @ input-output-hk/plutus@92ce7113a03c8f19233dd3c3c19d2a0ed3f755e8 🚀 (plutus)
17:48:59 [2387e2ad] Merge pull request #3858 from input-output-hk/ts-conwayDepositAndRefunds (cardano-ledger-specs)
17:52:51 [a44f21df] add Haskell Benchmark (customSmallerIsBetter) benchmark result for 2387e2ad3e30c9bd29b6052c7c869004fabd2c97 (cardano-ledger)
18:18:38 [46026899] deploy: fb1812fa7af08ba24de8c6a33b492e812dfce041 (cardano-cli)
18:25:08 [c3fab6ed] add Plutus Benchmarks (customSmallerIsBetter) benchmark result for 92ce7113a03c8f19233dd3c3c19d2a0ed3f755e8 (plutus)
18:31:43 [9cb20e7e] Updated (cardano-ledger-specs)
20:29:02 [580267ee] Merge pull request #4714 from input-output-hk/coot/io-sim-1.3.0.0 (ouroboros-network)
20:31:35 [d952529a] include cardano-submit-api config (cardano-configurations)
20:33:47 [898ec982] Upload configuration from: https://book.world.dev.cardano.org/environments (cardano-configurations)