Skip to content

Actions: OpenZeppelin/openzeppelin-contracts

Actions

formal verification

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
formal-verification.yml
158 workflow run results
158 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Finalize test migration: remove legacy dependencies and test helpers formal verification #3155: Pull request #4797 synchronize by ernestognw
December 22, 2023 21:10 10s Amxx:test/migration/cleanup
Amxx:test/migration/cleanup
December 22, 2023 21:10 10s
Finalize test migration: remove legacy dependencies and test helpers formal verification #3154: Pull request #4797 synchronize by ernestognw
December 22, 2023 21:10 16s Amxx:test/migration/cleanup
Amxx:test/migration/cleanup
December 22, 2023 21:10 16s
Finalize test migration: remove legacy dependencies and test helpers formal verification #3153: Pull request #4797 synchronize by ernestognw
December 22, 2023 20:59 12s Amxx:test/migration/cleanup
Amxx:test/migration/cleanup
December 22, 2023 20:59 12s
Finalize test migration: remove legacy dependencies and test helpers formal verification #3152: Pull request #4797 synchronize by ernestognw
December 22, 2023 20:54 11s Amxx:test/migration/cleanup
Amxx:test/migration/cleanup
December 22, 2023 20:54 11s
Finalize test migration: remove legacy dependencies and test helpers formal verification #3151: Pull request #4797 synchronize by Amxx
December 22, 2023 20:20 13s Amxx:test/migration/cleanup
Amxx:test/migration/cleanup
December 22, 2023 20:20 13s
Finalize test migration: remove legacy dependencies and test helpers formal verification #3150: Pull request #4797 synchronize by Amxx
December 22, 2023 20:06 15s Amxx:test/migration/cleanup
Amxx:test/migration/cleanup
December 22, 2023 20:06 15s
Refactor time helper and remove custom error helper. formal verification #3149: Pull request #4803 synchronize by ernestognw
December 22, 2023 19:40 12s Amxx:test/migrations/refactor-time
Amxx:test/migrations/refactor-time
December 22, 2023 19:40 12s
Finalize test migration: remove legacy dependencies and test helpers formal verification #3148: Pull request #4797 synchronize by ernestognw
December 22, 2023 19:08 15s Amxx:test/migration/cleanup
Amxx:test/migration/cleanup
December 22, 2023 19:08 15s
Replace Defender Admin with Transaction Proposals formal verification #3147: Pull request #4804 synchronize by cairoeth
December 22, 2023 15:21 13s cairoeth:defender-admin-to-tx-proposals
cairoeth:defender-admin-to-tx-proposals
December 22, 2023 15:21 13s
Replace Defender Admin with Transaction Proposals formal verification #3146: Pull request #4804 synchronize by cairoeth
December 22, 2023 15:20 12s cairoeth:defender-admin-to-tx-proposals
cairoeth:defender-admin-to-tx-proposals
December 22, 2023 15:20 12s
Finalize test migration: remove legacy dependencies and test helpers formal verification #3145: Pull request #4797 synchronize by Amxx
December 22, 2023 14:25 13s Amxx:test/migration/cleanup
Amxx:test/migration/cleanup
December 22, 2023 14:25 13s
Finalize test migration: remove legacy dependencies and test helpers formal verification #3144: Pull request #4797 synchronize by Amxx
December 22, 2023 14:20 13s Amxx:test/migration/cleanup
Amxx:test/migration/cleanup
December 22, 2023 14:20 13s
Finalize test migration: remove legacy dependencies and test helpers formal verification #3143: Pull request #4797 synchronize by Amxx
December 22, 2023 14:14 15s Amxx:test/migration/cleanup
Amxx:test/migration/cleanup
December 22, 2023 14:14 15s
Finalize test migration: remove legacy dependencies and test helpers formal verification #3142: Pull request #4797 synchronize by Amxx
December 22, 2023 14:05 14s Amxx:test/migration/cleanup
Amxx:test/migration/cleanup
December 22, 2023 14:05 14s
Finalize test migration: remove legacy dependencies and test helpers formal verification #3141: Pull request #4797 synchronize by Amxx
December 22, 2023 14:01 15s Amxx:test/migration/cleanup
Amxx:test/migration/cleanup
December 22, 2023 14:01 15s
Finalize test migration: remove legacy dependencies and test helpers formal verification #3140: Pull request #4797 synchronize by Amxx
December 22, 2023 13:28 11s Amxx:test/migration/cleanup
Amxx:test/migration/cleanup
December 22, 2023 13:28 11s
Refactor time helper and remove custom error helper. formal verification #3139: Pull request #4803 synchronize by Amxx
December 22, 2023 13:26 18s Amxx:test/migrations/refactor-time
Amxx:test/migrations/refactor-time
December 22, 2023 13:26 18s
Refactor time helper and remove custom error helper. formal verification #3138: Pull request #4803 synchronize by Amxx
December 22, 2023 13:22 14s Amxx:test/migrations/refactor-time
Amxx:test/migrations/refactor-time
December 22, 2023 13:22 14s
Finalize test migration: remove legacy dependencies and test helpers formal verification #3137: Pull request #4797 synchronize by Amxx
December 22, 2023 10:35 12s Amxx:test/migration/cleanup
Amxx:test/migration/cleanup
December 22, 2023 10:35 12s
Refactor time helper and remove custom error helper. formal verification #3136: Pull request #4803 synchronize by Amxx
December 22, 2023 10:00 14s Amxx:test/migrations/refactor-time
Amxx:test/migrations/refactor-time
December 22, 2023 10:00 14s
Refactor time helper and remove custom error helper. formal verification #3135: Pull request #4803 synchronize by Amxx
December 22, 2023 09:55 12s Amxx:test/migrations/refactor-time
Amxx:test/migrations/refactor-time
December 22, 2023 09:55 12s
Migrate ERC1155 tests to ethers v6 formal verification #3134: Pull request #4771 synchronize by ernestognw
December 21, 2023 21:47 14s Amxx:test/migrations/erc1155
Amxx:test/migrations/erc1155
December 21, 2023 21:47 14s
Refactor time helper and remove custom error helper. formal verification #3133: Pull request #4803 synchronize by Amxx
December 21, 2023 14:21 12s Amxx:test/migrations/refactor-time
Amxx:test/migrations/refactor-time
December 21, 2023 14:21 12s
Migrate ERC1155 tests to ethers v6 formal verification #3132: Pull request #4771 synchronize by ernestognw
December 20, 2023 19:02 11s Amxx:test/migrations/erc1155
Amxx:test/migrations/erc1155
December 20, 2023 19:02 11s
Replace Defender Admin with Transaction Proposals formal verification #3131: Pull request #4804 labeled by ernestognw
December 20, 2023 18:52 13s cairoeth:defender-admin-to-tx-proposals
cairoeth:defender-admin-to-tx-proposals
December 20, 2023 18:52 13s