safe-global / safe-smart-account / 12945930910

Builds Branch Commit Type Ran Committer Via Coverage
12945930910 codeowners Adding team instead of individual handles push remedcu github
93.96
12927628689 main Adding Code Owners (#905) This pull request includes a small change to the `.github/CODEOWNERS` file. The change assigns ownership of all files to the specified team members. push web-flow github
93.96
12908423528 main chore: fix param typo (#907) Signed-off-by: fanqiaojun <fanqiaojun@yeah.net> push web-flow github
93.96
12905248211 main Merge 45c2bae5a into e9b7de978 Pull #907 web-flow github
93.96
12903446481 main Bump undici (#906) Bumps and [undici](https://github.com/nodejs/undici). These dependencies needed to be updated together. Updates `undici` from 5.28.4 to 6.21.1 <details> <summary>Release notes</summary> <p><em>Sourced from <a href="https:... push web-flow github
93.96
12897251499 dependabot/npm_and_yarn/multi-c22b14adf9 Bump undici Bumps and [undici](https://github.com/nodejs/undici). These dependencies needed to be updated together. Updates `undici` from 5.28.4 to 6.21.1 - [Release notes](https://github.com/nodejs/undici/releases) - [Commits](https://github.c... Pull #906 web-flow github
93.96
12884798312 codeowners Adding team instead of individual handles Pull #905 remedcu github
93.96
12884698562 main Certora Workfile Updated (#904) This PR adds the FV rules introduced in #901 to the workflow. push web-flow github
93.96
12884657469 codeowners Adding Code Owners Pull #905 remedcu github
93.96
12884138013 certora-workfile Certora CLI version update Pull #904 remedcu github
93.96
12883858144 certora-workfile Merge 0bf941377 into 2a599c423 Pull #904 web-flow github
93.96
12883829364 certora-workfile Certora Workfile Updated push remedcu github
93.96
12810736642 main chore: fix typo in certora/specs/OwnerReach.spec (#902) Hello, I found a typo error in `certora/specs/OwnerReach.spec`: `isOwnerNotSelfOrSentinal ` -> `isOwnerNotSelfOrSentinel` Thank you. Signed-off-by: ericlehong <193237094+ericlehong... push web-flow github
93.96
12810359000 fix-typo Merge f0cd4e80a into 8677f3239 Pull #902 web-flow github
93.96
12805189361 main Formal Verification for Safe v1.5 Audit (#901) This pull request corresponds to the formal verification aspect of the Safe v1.5 audit done by Certora. ## Summary of Changes ### Added Configuration and Specification files corresponding t... push web-flow github
93.96