Skip to content

Actions: coinbase/smart-wallet

Actions

Certora verification

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
certora.yml
25 workflow runs
25 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

@0xsarawut Certora verification #165: Pull request #159 opened by 0xsarawut
Action required 0xsarawut:main
0xsarawut:main
Action required
Add warning for safe 7702 upgrades Certora verification #157: Pull request #156 synchronize by amiecorso
1m 0s amiecorso:amie/add-7702-upgrades-warning
amiecorso:amie/add-7702-upgrades-warning
1m 0s
Add warning for safe 7702 upgrades Certora verification #156: Pull request #156 synchronize by amiecorso
1m 0s amiecorso:amie/add-7702-upgrades-warning
amiecorso:amie/add-7702-upgrades-warning
1m 0s
Add warning for safe 7702 upgrades Certora verification #155: Pull request #156 opened by amiecorso
58s amiecorso:amie/add-7702-upgrades-warning
amiecorso:amie/add-7702-upgrades-warning
58s
[DO NOT MERGE] v1.1.0 Simulation-only wallet runtime bytecode for accurate VGL estimation (bundler overrides) Certora verification #153: Pull request #135 opened by amiecorso
56s amiecorso:amie/simulation-bytecode-for-accurate-vgl
amiecorso:amie/simulation-bytecode-for-accurate-vgl
56s
Update readme with 1.1 deploy Certora verification #145: Pull request #130 synchronize by ilikesymmetry
1h 3m 2s conner/readme-1020
conner/readme-1020
1h 3m 2s
Update readme with 1.1 deploy Certora verification #144: Pull request #130 opened by ilikesymmetry
53m 1s conner/readme-1020
conner/readme-1020
53m 1s
Gas profiling swaps Certora verification #142: Pull request #128 synchronize by shamit05
1m 31s shamit05:shamit/add-swap-profiling
shamit05:shamit/add-swap-profiling
1m 31s
Gas profiling swaps Certora verification #141: Pull request #128 opened by shamit05
1m 35s shamit05:shamit/add-swap-profiling
shamit05:shamit/add-swap-profiling
1m 35s
feat: E2E gas profiling native and erc20 Certora verification #140: Pull request #127 synchronize by shamit05
52s shamit05:main
shamit05:main
52s
feat: E2E gas profiling native and erc20 Certora verification #139: Pull request #127 opened by shamit05
1m 23s shamit05:main
shamit05:main
1m 23s
Update and clean packages Certora verification #138: Pull request #126 synchronize by shamit05
1m 1s shamit05:shamit/add-packages
shamit05:shamit/add-packages
1m 1s
Update and clean packages Certora verification #137: Pull request #126 synchronize by shamit05
1m 17s shamit05:shamit/add-packages
shamit05:shamit/add-packages
1m 17s
Update and clean packages Certora verification #136: Pull request #126 opened by shamit05
1m 35s shamit05:shamit/add-packages
shamit05:shamit/add-packages
1m 35s
Owner associated with an owner index outside of the expected bounds should be considered invalid Certora verification #135: Pull request #125 opened by hieronymus777
1m 20s hieronymus777:alex/feature/eip7702-owner-index-check
hieronymus777:alex/feature/eip7702-owner-index-check
1m 20s
Shamit/e2e gas profiling swaps Certora verification #134: Pull request #124 opened by shamit05
1m 27s shamit05:shamit/e2e-gas-profiling-swaps
shamit05:shamit/e2e-gas-profiling-swaps
1m 27s
feat: E2E gas profiling native and erc20 Certora verification #133: Pull request #123 synchronize by shamit05
1m 18s shamit05:shamit/e2e-gas-profiling-native-erc20
shamit05:shamit/e2e-gas-profiling-native-erc20
1m 18s
feat: E2E gas profiling native and erc20 Certora verification #132: Pull request #123 synchronize by shamit05
1m 25s shamit05:shamit/e2e-gas-profiling-native-erc20
shamit05:shamit/e2e-gas-profiling-native-erc20
1m 25s
feat: E2E gas profiling native and erc20 Certora verification #131: Pull request #123 opened by shamit05
1m 15s shamit05:shamit/e2e-gas-profiling-native-erc20
shamit05:shamit/e2e-gas-profiling-native-erc20
1m 15s
feat: E2E gas profiling native and erc20 Certora verification #130: Pull request #122 synchronize by shamit05
1m 23s shamit05:shamit/e2e-gas-profiling-native-erc20
shamit05:shamit/e2e-gas-profiling-native-erc20
1m 23s
Add CLAUDE.md for Claude Code guidance Certora verification #124: Pull request #118 opened by ilikesymmetry
2h 2m 3s add-claude-md
add-claude-md
2h 2m 3s
CoinbaseSmartWallet and CoinbaseSmartWalletFactory v1.1.0 Certora verification #123: Pull request #117 opened by amiecorso
50s amiecorso:v1.1.0-signed
amiecorso:v1.1.0-signed
50s
CoinbaseSmartWallet and CoinbaseSmartWalletFactory V1.1.0 Certora verification #122: Pull request #116 opened by amiecorso
1m 16s amiecorso:v1.1.0
amiecorso:v1.1.0
1m 16s
[StepSecurity] Apply security best practices Certora verification #121: Pull request #115 opened by stepsecurity-app bot
1h 47m 47s chore/GHA-121744-stepsecurity-remediation
chore/GHA-121744-stepsecurity-remediation
1h 47m 47s
Prototype external storage contract for 7702 CoinbaseSmartWallets Certora verification #118: Pull request #108 opened by amiecorso
45s amiecorso:amie/external-ownership-contract
amiecorso:amie/external-ownership-contract
45s