Home / Reports / Jun 10, 2023
Saturday, June 10, 2023
24 commits had been pushed across 10 repos by 10 authors. There were 758,168 additions and 2,466 deletions. Official weekly status updates can be found on essentialcardano.io.
Authors
Repos Updated
- uptime10
- scripts3
- yoroi2
- cardano2
- cardano-wallet2
- developer-portal1
- haskell.nix1
- hydra1
- stackage.nix1
- plutarch-core1
Commit Log
09:13:03
[3ae37360]
docs: Merge #3992 3992: [ADP-2565] Add shrinker to `prop_StoreUpdate` r=HeinrichApfelmus a=HeinrichApfelmus ### Overview
This task is about adding a shrinker to `prop_StoreUpdate`. This makes the development of custom `Store` easier, as the automatic check now produces smaller counterexamples in the case of a bug.
### Comments
CODE-OF-CONDUCT.md CONTRIBUTING.md LICENSE MAINTAINERS.md README.md bors.toml cabal.project default.nix docker-compose.yml docs flake.lock flake.nix floskell.json hie-direnv.yaml lib nix prototypes reports scripts shell.nix specifications test touch.me.CI weeder.dhall The type signature of `prop_StoreUpdate` changes which requires all dependent code to adapt.
### Issue number
ADP-3064 Co-authored-by: Heinrich Apfelmus <[email protected]> Source commit: 0c2382c373f76e808fd3472b78d1ce98c7770618
(cardano-wallet)
23:05:19
[0c42f537]
🟩 C1 Devnet Sidechain Explorer is up (200 in 123 ms) [skip ci] [upptime]
(uptime)
23:05:20
[1074fd9e]
🟩 C1 Mainnet Sidechain Explorer is up (200 in 545 ms) [skip ci] [upptime]
(uptime)