Skip to content

Actions: worldcoin/safe-modules

Actions

certora

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
certora_4337.yml
4 workflow runs
4 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #2 from worldcoin/karan-add-virtual-safe-modules certora #4: Commit 9abf69e pushed by karankurbur
December 23, 2024 06:30 2m 22s main
main
December 23, 2024 06:30 2m 22s
bump version certora #3: Pull request #2 opened by karankurbur
December 23, 2024 06:30 2m 20s karan-add-virtual-safe-modules
karan-add-virtual-safe-modules
December 23, 2024 06:30 2m 20s
Merge pull request #1 from worldcoin/karan-add-virtual-safe-modules certora #2: Commit 60dc191 pushed by karankurbur
December 23, 2024 06:14 2m 28s main
main
December 23, 2024 06:14 2m 28s
add virtual to _validateSignatures certora #1: Pull request #1 opened by karankurbur
December 23, 2024 06:13 2m 22s karan-add-virtual-safe-modules
karan-add-virtual-safe-modules
December 23, 2024 06:13 2m 22s