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

4337 Gas metering: Pimlico VerifyingPaymaster results, refactorings, groundwork for ERC20Paymaster certora #139: Pull request #401 synchronize by mmv08
May 22, 2024 13:28 4m 47s 4337-gas-metering-pimlico
4337-gas-metering-pimlico
May 22, 2024 13:28 4m 47s
4337 Gas metering: Pimlico VerifyingPaymaster results, refactorings, groundwork for ERC20Paymaster certora #138: Pull request #401 synchronize by mmv08
May 22, 2024 12:20 2m 23s 4337-gas-metering-pimlico
4337-gas-metering-pimlico
May 22, 2024 12:20 2m 23s
4337 Gas metering: Pimlico VerifyingPaymaster results, refactorings, groundwork for ERC20Paymaster certora #137: Pull request #401 synchronize by mmv08
May 22, 2024 12:03 2m 1s 4337-gas-metering-pimlico
4337-gas-metering-pimlico
May 22, 2024 12:03 2m 1s
4337 Gas metering: Pimlico VerifyingPaymaster results, refactorings, groundwork for ERC20Paymaster certora #136: Pull request #401 synchronize by mmv08
May 22, 2024 11:45 2m 59s 4337-gas-metering-pimlico
4337-gas-metering-pimlico
May 22, 2024 11:45 2m 59s
4337 Gas metering: Pimlico VerifyingPaymaster results, refactorings, groundwork for ERC20Paymaster certora #135: Pull request #401 synchronize by mmv08
May 22, 2024 11:33 1m 59s 4337-gas-metering-pimlico
4337-gas-metering-pimlico
May 22, 2024 11:33 1m 59s
4337 Gas metering: Pimlico VerifyingPaymaster results, refactorings, groundwork for ERC20Paymaster certora #134: Pull request #401 synchronize by mmv08
May 22, 2024 10:10 2m 55s 4337-gas-metering-pimlico
4337-gas-metering-pimlico
May 22, 2024 10:10 2m 55s
4337 Gas metering: Pimlico VerifyingPaymaster results, refactorings, groundwork for ERC20Paymaster certora #133: Pull request #401 synchronize by mmv08
May 22, 2024 10:08 24s 4337-gas-metering-pimlico
4337-gas-metering-pimlico
May 22, 2024 10:08 24s
4337 Gas metering: Pimlico VerifyingPaymaster results, refactorings, groundwork for ERC20Paymaster certora #132: Pull request #401 synchronize by mmv08
May 21, 2024 10:28 2m 30s 4337-gas-metering-pimlico
4337-gas-metering-pimlico
May 21, 2024 10:28 2m 30s
4337 Gas metering: Pimlico VerifyingPaymaster results, refactorings, groundwork for ERC20Paymaster certora #131: Pull request #401 synchronize by mmv08
May 21, 2024 10:21 2m 53s 4337-gas-metering-pimlico
4337-gas-metering-pimlico
May 21, 2024 10:21 2m 53s
4337 Gas metering: Pimlico VerifyingPaymaster results, refactorings, groundwork for ERC20Paymaster certora #130: Pull request #401 synchronize by mmv08
May 21, 2024 10:20 2m 32s 4337-gas-metering-pimlico
4337-gas-metering-pimlico
May 21, 2024 10:20 2m 32s
4337 Gas metering: Pimlico VerifyingPaymaster results, refactorings, groundwork for ERC20Paymaster certora #129: Pull request #401 synchronize by mmv08
May 21, 2024 09:01 3m 23s 4337-gas-metering-pimlico
4337-gas-metering-pimlico
May 21, 2024 09:01 3m 23s
4337 Gas metering: Pimlico VerifyingPaymaster results, refactorings, groundwork for ERC20Paymaster certora #128: Pull request #401 synchronize by mmv08
May 17, 2024 12:42 2m 13s 4337-gas-metering-pimlico
4337-gas-metering-pimlico
May 17, 2024 12:42 2m 13s
4337 Gas metering: Pimlico VerifyingPaymaster results, refactorings, groundwork for ERC20Paymaster certora #127: Pull request #401 synchronize by mmv08
May 17, 2024 12:36 26s 4337-gas-metering-pimlico
4337-gas-metering-pimlico
May 17, 2024 12:36 26s
Pnpm experiment (#420) certora #126: Commit 894ac3f pushed by mmv08
May 16, 2024 13:30 2m 53s main
main
May 16, 2024 13:30 2m 53s
Pnpm experiment certora #125: Pull request #420 synchronize by nlordell
May 16, 2024 13:13 2m 30s pnpm-experiment
pnpm-experiment
May 16, 2024 13:13 2m 30s
Draft: PNPM Changes In Single Commit [DO NOT MERGE OR REVIEW] certora #124: Pull request #422 opened by nlordell
May 16, 2024 13:13 2m 34s test-all-changes-single-commit
test-all-changes-single-commit
May 16, 2024 13:13 2m 34s
Pnpm experiment certora #123: Pull request #420 synchronize by mmv08
May 15, 2024 14:03 3m 3s pnpm-experiment
pnpm-experiment
May 15, 2024 14:03 3m 3s
Pnpm experiment certora #122: Pull request #420 synchronize by mmv08
May 15, 2024 14:00 2m 45s pnpm-experiment
pnpm-experiment
May 15, 2024 14:00 2m 45s
Pnpm experiment certora #121: Pull request #420 synchronize by mmv08
May 15, 2024 13:52 2m 11s pnpm-experiment
pnpm-experiment
May 15, 2024 13:52 2m 11s
Pnpm experiment certora #120: Pull request #420 synchronize by mmv08
May 15, 2024 13:09 2m 8s pnpm-experiment
pnpm-experiment
May 15, 2024 13:09 2m 8s
Pnpm experiment certora #119: Pull request #420 synchronize by mmv08
May 15, 2024 13:02 5m 50s pnpm-experiment
pnpm-experiment
May 15, 2024 13:02 5m 50s
Pnpm experiment certora #118: Pull request #420 synchronize by mmv08
May 15, 2024 12:35 2m 37s pnpm-experiment
pnpm-experiment
May 15, 2024 12:35 2m 37s
Pnpm experiment certora #117: Pull request #420 synchronize by mmv08
May 15, 2024 10:31 47m 14s pnpm-experiment
pnpm-experiment
May 15, 2024 10:31 47m 14s
Pnpm experiment certora #116: Pull request #420 synchronize by mmv08
May 15, 2024 10:25 52m 58s pnpm-experiment
pnpm-experiment
May 15, 2024 10:25 52m 58s
Pnpm experiment certora #115: Pull request #420 synchronize by mmv08
May 15, 2024 10:23 1m 17s pnpm-experiment
pnpm-experiment
May 15, 2024 10:23 1m 17s
ProTip! You can narrow down the results and go further in time using created:<2024-05-15 or the other filters available.