Home / Reports / Oct 24, 2023

Tuesday, October 24, 2023

49 commits had been pushed across 15 repos by 19 authors. There were 7,265,363 additions and 4,700 deletions. Official weekly status updates can be found on essentialcardano.io.

Authors

github pgrange Alenar mjaskelioff jorbuedo lehins mkazlauskas vladimirvolek vsubhuman amnambiar kderme omelkonian L-as curiecrypt SorinC6 github-actions[bot] Godspeed-exe dlachaumepalo

Repos Updated

Commit Log

00:09:16 [3b1f6255] Automatic Update (stackage.nix)
00:50:39 [e5d3f9fd] Update Hackage and Stackage (haskell.nix)
04:52:10 [5838cf3d] deploy: 9e3361e3df8f8ca9f9ce2225fff576ba03aaa685 (hydra-poc)
05:17:11 [9a7d769e] Merge pull request #40 from input-output-hk/fix/DLTest-Failure-reporting (dapps-certification-web)
07:37:22 [23daa59b] deploy: b0589aff2fb990051e26f3aeafc3bb13b0a27369 (mithril)
08:01:23 [66124916] Merge pull request #3592 from nuboh8/patch-5 (cardano-token-registry)
08:19:06 [75f32bc7] Merge pull request #3593 from nuboh8/patch-6 (cardano-token-registry)
08:21:06 [60d899f1] Merge pull request #3594 from mrsqurriel/master (cardano-token-registry)
08:26:51 [a78c4634] deploy: a4899cb9569757e206ddc9cce14905386d3ef019 (mithril)
10:09:28 [0fc35ea5] deploy: a68ae3965c2847da9c62949c6f9eb23d3856a5df (mithril)
11:29:56 [8534dad4] Haskell generation: add test-suite (formal-ledger-specifications)
11:29:56 [8b176532] CI: upload PDF artifacts for PR reviews (formal-ledger-specifications)
11:29:56 [de5cf8c8] Makefile: use canned recipes to remove code duplication (formal-ledger-specifications)
11:29:56 [4e94272b] Latex: fix lmroman-font issue (formal-ledger-specifications)
11:29:56 [e9bf17c1] Update README and CONTRIBUTING. (formal-ledger-specifications)
11:29:56 [9996390f] CI: enable for PRs from forks (formal-ledger-specifications)
11:29:56 [0e16228a] CI: fix obsolete name in Nix flake (formal-ledger-specifications)
11:29:56 [493cb06a] Nix: integrate Makefile (formal-ledger-specifications)
11:32:08 [3067a927] wip (plutarch-core)
12:25:06 [5ab2c383] Updated for 0e16228af8a1d05c229290f2aaec3bf72088216b (formal-ledger-specifications)
12:29:55 [10f3f72d] Merge pull request #962 from input-output-hk/fix/ogmios-inline-datum-mapping (cardano-js-sdk)
12:30:39 [ac64b973] PLT-7103 Adapt Scoped Renaming/Substitution and Extrication to SOPs in the metatheory (#5597) (plutus)
12:32:22 [bcf1c93c] Deploying to gh-pages from @ input-output-hk/plutus@ac64b973a47bb6de2721c12a68057e27971f09a1 🚀 (plutus)
13:11:31 [8415ca55] Merge pull request #3801 from input-output-hk/lehins/fix-epoch-rule-and-imp-testing (cardano-ledger)
13:14:30 [083d3023] Fix Committee keys size (cardano-db-sync)
13:15:25 [853a826f] add Haskell Benchmark (customSmallerIsBetter) benchmark result for 8415ca55d91f3b4e50c10c80215a16ca707592e5 (cardano-ledger)
13:23:05 [c688495e] PLT-8103 Adapt Reduction proof to SOPs (#5598) (plutus)
13:44:09 [adca0049] Deploying to gh-pages from @ input-output-hk/plutus@c688495eb77d9dc1e68abde2cb46540da11e3e9d 🚀 (plutus)
14:08:07 [834696c1] Updated (cardano-ledger)
14:14:06 [09043270] add Plutus Benchmarks (customSmallerIsBetter) benchmark result for ac64b973a47bb6de2721c12a68057e27971f09a1 (plutus)
14:44:54 [559b422b] change slippage limit (#2825) (yoroi-mobile)
14:45:57 [2c5e990a] fix: No supply error never showing (#2824) (yoroi-mobile)
15:18:20 [abbc38aa] Merge pull request #3602 from MuesliSwapTeam/MuesliSwapTeam-DJED-iUSD (cardano-token-registry)
15:19:05 [e67b6cf2] Merge pull request #3601 from MuesliSwapTeam/MuesliSwapTeam-LIFI-ADA-lp (cardano-token-registry)
15:19:59 [66bcd006] Merge pull request #3599 from MuesliSwapTeam/MuesliSwapTeam-VYFI-AD (cardano-token-registry)
15:20:39 [c22a3443] Merge pull request #3598 from MuesliSwapTeam/MuesliSwapTeam-OPT-ADA (cardano-token-registry)
15:21:36 [6c6f1326] Merge pull request #3597 from MuesliSwapTeam/MuesliSwapTeam-LQ-ADA (cardano-token-registry)
15:22:19 [0b7ea1a0] Merge pull request #3596 from MuesliSwapTeam/MuesliSwapTeam-TUNA-ADA (cardano-token-registry)
15:23:15 [a6750a78] Merge pull request #3595 from MuesliSwapTeam/MuesliSwapTeam-hosky-djed (cardano-token-registry)
15:33:39 [54a77a28] README: fix table notation (formal-ledger-specifications)
15:33:39 [9e996875] README: fix links to HTML + add links to Haskell tests (formal-ledger-specifications)
15:33:39 [c46bdf58] CI: only run once if `push` and `pull_request` (formal-ledger-specifications)
15:39:20 [cac8f341] Updated for 54a77a282c6c547e6c0eb0af63bcb920bbfa48a1 (formal-ledger-specifications)
15:57:14 [d1265eaf] add Plutus Benchmarks (customSmallerIsBetter) benchmark result for c688495eb77d9dc1e68abde2cb46540da11e3e9d (plutus)
16:01:51 [55f7e5a4] New Crowdin updates (#2827) (yoroi)
17:39:56 [ad3f40ab] Merge pull request #3803 from input-output-hk/lehins/fix-delegation-validation (cardano-ledger)
17:43:44 [47d3ec02] add Haskell Benchmark (customSmallerIsBetter) benchmark result for ad3f40abc55184ffd494e2239c43eec5dc8e423d (cardano-ledger)
18:24:19 [f1a4c447] Updated (cardano-ledger)
23:32:34 [05c21303] fix: ssl (blockfrost-backend-ryo)