0xPolygonZero / plonky2

Apache License 2.0
758 stars 281 forks source link

Fix `after_mpt_delete_extension_branch` #1449

Closed wborgeaud closed 8 months ago

wborgeaud commented 8 months ago

The current implementation of after_mpt_delete_extension_branch is buggy. This PR fixes it and adds a test that fails on the current main.

sonarcloud[bot] commented 8 months ago

Quality Gate Passed Quality Gate passed

Kudos, no new issues were introduced!

0 New issues
0 Security Hotspots
No data about Coverage
No data about Duplication

See analysis details on SonarCloud