Skip to content

Actions: safe-global/safe-modules

Actions

certora

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
certora_4337.yml
364 workflow runs
364 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add Test With Precompile certora #164: Pull request #430 synchronize by nlordell
June 5, 2024 08:01 4m 45s 317/precompile-test
317/precompile-test
June 5, 2024 08:01 4m 45s
4337 Gas metering: Pimlico VerifyingPaymaster results, refactorings… certora #163: Commit 53e28a5 pushed by mmv08
June 4, 2024 11:40 2m 1s main
main
June 4, 2024 11:40 2m 1s
4337 Gas metering: Pimlico VerifyingPaymaster results, refactorings, groundwork for ERC20Paymaster certora #162: Pull request #401 synchronize by mmv08
June 4, 2024 09:54 4m 42s 4337-gas-metering-pimlico
4337-gas-metering-pimlico
June 4, 2024 09:54 4m 42s
4337 Gas metering: Pimlico VerifyingPaymaster results, refactorings, groundwork for ERC20Paymaster certora #161: Pull request #401 synchronize by mmv08
June 4, 2024 09:50 2m 41s 4337-gas-metering-pimlico
4337-gas-metering-pimlico
June 4, 2024 09:50 2m 41s
Add Test With Precompile certora #160: Pull request #430 opened by nlordell
June 3, 2024 16:38 2m 24s 317/precompile-test
317/precompile-test
June 3, 2024 16:38 2m 24s
4337 Gas metering: Pimlico VerifyingPaymaster results, refactorings, groundwork for ERC20Paymaster certora #159: Pull request #401 synchronize by mmv08
June 3, 2024 14:01 2m 25s 4337-gas-metering-pimlico
4337-gas-metering-pimlico
June 3, 2024 14:01 2m 25s
4337 Gas metering: Pimlico VerifyingPaymaster results, refactorings, groundwork for ERC20Paymaster certora #158: Pull request #401 synchronize by mmv08
June 3, 2024 13:54 2m 16s 4337-gas-metering-pimlico
4337-gas-metering-pimlico
June 3, 2024 13:54 2m 16s
4337 Gas metering: Pimlico VerifyingPaymaster results, refactorings, groundwork for ERC20Paymaster certora #157: Pull request #401 synchronize by mmv08
June 3, 2024 11:37 2m 0s 4337-gas-metering-pimlico
4337-gas-metering-pimlico
June 3, 2024 11:37 2m 0s
4337 Gas metering: Pimlico VerifyingPaymaster results, refactorings, groundwork for ERC20Paymaster certora #156: Pull request #401 synchronize by mmv08
May 28, 2024 14:08 3m 3s 4337-gas-metering-pimlico
4337-gas-metering-pimlico
May 28, 2024 14:08 3m 3s
4337 Gas metering: Pimlico VerifyingPaymaster results, refactorings, groundwork for ERC20Paymaster certora #155: Pull request #401 synchronize by mmv08
May 28, 2024 14:04 3m 0s 4337-gas-metering-pimlico
4337-gas-metering-pimlico
May 28, 2024 14:04 3m 0s
4337 Gas metering: Pimlico VerifyingPaymaster results, refactorings, groundwork for ERC20Paymaster certora #154: Pull request #401 synchronize by mmv08
May 28, 2024 14:00 2m 43s 4337-gas-metering-pimlico
4337-gas-metering-pimlico
May 28, 2024 14:00 2m 43s
4337 Gas metering: Pimlico VerifyingPaymaster results, refactorings, groundwork for ERC20Paymaster certora #153: Pull request #401 synchronize by mmv08
May 28, 2024 13:56 2m 50s 4337-gas-metering-pimlico
4337-gas-metering-pimlico
May 28, 2024 13:56 2m 50s
4337 Gas metering: Pimlico VerifyingPaymaster results, refactorings, groundwork for ERC20Paymaster certora #152: Pull request #401 synchronize by mmv08
May 28, 2024 13:46 2m 13s 4337-gas-metering-pimlico
4337-gas-metering-pimlico
May 28, 2024 13:46 2m 13s
4337 Gas metering: Pimlico VerifyingPaymaster results, refactorings, groundwork for ERC20Paymaster certora #151: Pull request #401 synchronize by mmv08
May 28, 2024 13:43 3m 1s 4337-gas-metering-pimlico
4337-gas-metering-pimlico
May 28, 2024 13:43 3m 1s
4337 Gas metering: Pimlico VerifyingPaymaster results, refactorings, groundwork for ERC20Paymaster certora #150: Pull request #401 synchronize by mmv08
May 28, 2024 13:40 2m 46s 4337-gas-metering-pimlico
4337-gas-metering-pimlico
May 28, 2024 13:40 2m 46s
4337 Gas metering: Pimlico VerifyingPaymaster results, refactorings, groundwork for ERC20Paymaster certora #149: Pull request #401 synchronize by mmv08
May 28, 2024 13:38 2m 14s 4337-gas-metering-pimlico
4337-gas-metering-pimlico
May 28, 2024 13:38 2m 14s
4337 Gas metering: Pimlico VerifyingPaymaster results, refactorings, groundwork for ERC20Paymaster certora #148: Pull request #401 synchronize by mmv08
May 28, 2024 13:09 5m 5s 4337-gas-metering-pimlico
4337-gas-metering-pimlico
May 28, 2024 13:09 5m 5s
4337 Gas metering: Pimlico VerifyingPaymaster results, refactorings, groundwork for ERC20Paymaster certora #147: Pull request #401 synchronize by mmv08
May 28, 2024 12:44 4m 14s 4337-gas-metering-pimlico
4337-gas-metering-pimlico
May 28, 2024 12:44 4m 14s
4337 Gas metering: Pimlico VerifyingPaymaster results, refactorings, groundwork for ERC20Paymaster certora #146: Pull request #401 synchronize by mmv08
May 28, 2024 12:01 2m 51s 4337-gas-metering-pimlico
4337-gas-metering-pimlico
May 28, 2024 12:01 2m 51s
4337 Gas metering: Pimlico VerifyingPaymaster results, refactorings, groundwork for ERC20Paymaster certora #145: Pull request #401 synchronize by mmv08
May 28, 2024 11:59 2m 47s 4337-gas-metering-pimlico
4337-gas-metering-pimlico
May 28, 2024 11:59 2m 47s
4337 Gas metering: Pimlico VerifyingPaymaster results, refactorings, groundwork for ERC20Paymaster certora #144: Pull request #401 synchronize by mmv08
May 28, 2024 11:47 3m 13s 4337-gas-metering-pimlico
4337-gas-metering-pimlico
May 28, 2024 11:47 3m 13s
4337 Gas metering: Pimlico VerifyingPaymaster results, refactorings, groundwork for ERC20Paymaster certora #143: Pull request #401 synchronize by mmv08
May 28, 2024 11:46 4m 29s 4337-gas-metering-pimlico
4337-gas-metering-pimlico
May 28, 2024 11:46 4m 29s
4337 Gas metering: Pimlico VerifyingPaymaster results, refactorings, groundwork for ERC20Paymaster certora #142: Pull request #401 synchronize by mmv08
May 27, 2024 16:03 2m 8s 4337-gas-metering-pimlico
4337-gas-metering-pimlico
May 27, 2024 16:03 2m 8s
4337 Gas metering: Pimlico VerifyingPaymaster results, refactorings, groundwork for ERC20Paymaster certora #141: Pull request #401 synchronize by mmv08
May 27, 2024 15:18 4m 11s 4337-gas-metering-pimlico
4337-gas-metering-pimlico
May 27, 2024 15:18 4m 11s
4337 Gas metering: Pimlico VerifyingPaymaster results, refactorings, groundwork for ERC20Paymaster certora #140: Pull request #401 synchronize by mmv08
May 27, 2024 10:11 2m 28s 4337-gas-metering-pimlico
4337-gas-metering-pimlico
May 27, 2024 10:11 2m 28s