safe-global / safe-smart-account

94%

main: 94%

LAST BUILD ON BRANCH v1.4.1-2

branch: v1.4.1-2

CHANGE BRANCH

x

Reset

• v1.4.1-2
• temp/1.5.0-build
• bug/benchmark-ci-silent-fail
• certora/v6-spec-update
• main
• deps-bump
• dependabot/npm_and_yarn/undici-5.28.3
• using-returndatasize
• dependabot/npm_and_yarn/follow-redirects-1.15.6
• dependencies/upgrade
• dependabot/npm_and_yarn/undici-5.28.4
• update-compatibility-documentation
• fix-natspec-inheritdoc
• v1.5.0-zksync
• chore/fix-harness-patch
• feat/dep-update
• feature/module-tx-guard
• experiment/auto-l2-safe
• feat/update-certora-prover
• dependabot/npm_and_yarn/braces-3.0.3
• fix-735-compilation-with-new-solidity-version
• fix-emit-event-in-SafeL2-execTransactionFromModuleReturnData
• fix-735-compilation-with-new-solidity-version-temp
• improvement-execTransaction-post-call-hook
• improvement-add-transaction-pre-hooks
• fix-754-signature-length-check
• feature-787-migration-contract
• migration-contract-141
• release/v1.4.1-1
• getSafeWithOwners-ts
• mmv08-patch-1
• release/v1.4.1
• v1.4.1/singleton-factory-update
• bump-version/v1.4.1-1
• refs/tags/v1.4.1-1
• release/v1.4.1-2
• 1.4.1/backport-safetol2setup-contract
• 1.4.1/backmerge-coveralls-job-fix
• workflow-updated
• getsafe
• chore/update-dependencies
• chore/fix-ts-lints
• feature-context-in-module-tx
• v1.4.1-2-audit
• library-audit
• fix-790-update-changelog
• remove-payable
• 731-imports-ordering-for-contracts
• remove-vscode-junm
• release/v1.4.1-3
• fix/build
• release/v1.4.1-2-deployment
• bump-v1.4.1-2
• v1.4.1-audit-and-address
• v1.4.1-audit-changes
• migration-fv
• migration-tests-zksync
• safeToL2Migration-zksync
• test-workflow
• remove-unused-test-contracts
• error-propagation
• v1.4.1/zksync-compat
• v1.4.1-3
• feature/eip-7702
• better-variable-naming-in-eip-712-hashing
• assembly-encodeSafeTransactionData
• dependabot/npm_and_yarn/secp256k1-4.0.4
• safe-proxy-event
• extensible-fallback-handler
• changelog-v1.5.0
• typos
• 1.5-addresses
• fix/memory-safe-assembly
• v1_3_0_zksync

Build # 10833086175

Build Type

push

github

Committed by web-flow

Commit Message

`v1.4.1` Audit Report and Deployment Address (#826)

This PR adds the Audit Report conducted on the Safe Library Migration
Contracts by the Certora Team and updates the `CHANGELOG` with the
contract addresses.

Run Details

182 of 202 branches covered (90.1%)

Branch coverage included in aggregate %.

386 of 401 relevant lines covered (96.26%)

93.54 hits per line