Martin Monperrus
Martin Monperrus
Interesting, thanks for the pointer!
FYI, activated * "Require approvals >= 1" * "Dismiss stale pull request approvals when new commits are pushed"
@intrigus-lgtm FYI did not find "disable the ability of Github Actions to approve and merge PRs" where is this?
I'd suggest to have one mandatory, the tests on Java 11 on Ubuntu. WDYT?
Done. "Tests with Java 11 on ubuntu-latest" is a required passing status. Let's see how this flies.
FTR, added a tag ruleset to make tags immutable and permanent (disable deletion)
Hi @BowTiedRadone! Awesome. ``` contract bugfallback { event AssertionFailed(); function f() external {} // workaround ABI is empty, are you sure your constructor is right? fallback() external { emit AssertionFailed();...
@gustavo-grieco I'm puzzled. you told me in https://github.com/crytic/echidna/issues/1462#issuecomment-3361025611 that " Foundry generation only works in assertion mode" and I indeed go some.
> This means anything that is not reserved other than Test would work here. yes! thanks @BowTiedRadone
yes, that one is easy :) https://github.com/SpoonLabs/spoon-maven-plugin/commit/1c98799106974f7a8903413f0aa1deb2fdc60933