Skip to content

Actions: OpenZeppelin/openzeppelin-contracts

Actions

formal verification

Actions

Loading...

Show workflow options

Create status badge

formal-verification.yml
3,816 workflow runs
3,816 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Add GovernorCountingFractional formal verification #4228: Pull request #5045 synchronize by ernestognw
May 30, 2024 19:26 1m 2s Amxx:feature/governor-counting-fractional
Amxx:feature/governor-counting-fractional
May 30, 2024 19:26 1m 2s
Generate already lint code from procedural generation formal verification #4227: Pull request #5060 synchronize by Amxx
May 30, 2024 14:57 55s Amxx:procedural/clean-templates
Amxx:procedural/clean-templates
May 30, 2024 14:57 55s
Generate already lint code from procedural generation formal verification #4226: Pull request #5060 synchronize by Amxx
May 30, 2024 14:22 1m 17s Amxx:procedural/clean-templates
Amxx:procedural/clean-templates
May 30, 2024 14:22 1m 17s
Generate already lint code from procedural generation formal verification #4225: Pull request #5060 labeled by Amxx
May 30, 2024 14:21 55s Amxx:procedural/clean-templates
Amxx:procedural/clean-templates
May 30, 2024 14:21 55s
Generate already lint code from procedural generation formal verification #4224: Pull request #5060 opened by Amxx
May 30, 2024 14:21 1m 0s Amxx:procedural/clean-templates
Amxx:procedural/clean-templates
May 30, 2024 14:21 1m 0s
Extended packing and extracting library for value types formal verification #4223: Pull request #5056 synchronize by Amxx
May 30, 2024 13:24 1m 1s Amxx:procedural/packing
Amxx:procedural/packing
May 30, 2024 13:24 1m 1s
Extended packing and extracting library for value types formal verification #4222: Pull request #5056 synchronize by Amxx
May 30, 2024 13:20 1m 7s Amxx:procedural/packing
Amxx:procedural/packing
May 30, 2024 13:20 1m 7s
Add GovernorCountingFractional formal verification #4221: Pull request #5045 synchronize by Amxx
May 30, 2024 12:34 1m 5s Amxx:feature/governor-counting-fractional
Amxx:feature/governor-counting-fractional
May 30, 2024 12:34 1m 5s
Add GovernorCountingFractional formal verification #4220: Pull request #5045 synchronize by Amxx
May 30, 2024 08:55 56s Amxx:feature/governor-counting-fractional
Amxx:feature/governor-counting-fractional
May 30, 2024 08:55 56s
Add GovernorCountingFractional formal verification #4219: Pull request #5045 synchronize by Amxx
May 30, 2024 08:49 55s Amxx:feature/governor-counting-fractional
Amxx:feature/governor-counting-fractional
May 30, 2024 08:49 55s
Add GovernorCountingFractional formal verification #4218: Pull request #5045 synchronize by Amxx
May 30, 2024 08:34 1m 1s Amxx:feature/governor-counting-fractional
Amxx:feature/governor-counting-fractional
May 30, 2024 08:34 1m 1s
Add GovernorCountingFractional formal verification #4217: Pull request #5045 synchronize by ernestognw
May 29, 2024 20:12 1m 6s Amxx:feature/governor-counting-fractional
Amxx:feature/governor-counting-fractional
May 29, 2024 20:12 1m 6s
Add GovernorCountingFractional formal verification #4216: Pull request #5045 synchronize by ernestognw
May 29, 2024 20:11 57s Amxx:feature/governor-counting-fractional
Amxx:feature/governor-counting-fractional
May 29, 2024 20:11 57s
Extended packing and extracting library for value types formal verification #4215: Pull request #5056 synchronize by Amxx
May 29, 2024 18:51 56s Amxx:procedural/packing
Amxx:procedural/packing
May 29, 2024 18:51 56s
Extended packing and extracting library for value types formal verification #4214: Pull request #5056 synchronize by Amxx
May 29, 2024 18:48 1m 0s Amxx:procedural/packing
Amxx:procedural/packing
May 29, 2024 18:48 1m 0s
Add GovernorCountingFractional formal verification #4213: Pull request #5045 synchronize by Amxx
May 29, 2024 18:22 56s Amxx:feature/governor-counting-fractional
Amxx:feature/governor-counting-fractional
May 29, 2024 18:22 56s
Extended packing and extracting library for value types formal verification #4212: Pull request #5056 synchronize by Amxx
May 29, 2024 08:52 1m 11s Amxx:procedural/packing
Amxx:procedural/packing
May 29, 2024 08:52 1m 11s
Extended packing and extracting library for value types formal verification #4211: Pull request #5056 synchronize by Amxx
May 29, 2024 08:36 1m 9s Amxx:procedural/packing
Amxx:procedural/packing
May 29, 2024 08:36 1m 9s
Add GovernorCountingFractional formal verification #4210: Pull request #5045 synchronize by Amxx
May 28, 2024 08:50 1m 3s Amxx:feature/governor-counting-fractional
Amxx:feature/governor-counting-fractional
May 28, 2024 08:50 1m 3s
Add GovernorCountingFractional formal verification #4209: Pull request #5045 synchronize by Amxx
May 28, 2024 08:26 59s Amxx:feature/governor-counting-fractional
Amxx:feature/governor-counting-fractional
May 28, 2024 08:26 59s
Add GovernorCountingFractional formal verification #4208: Pull request #5045 synchronize by Amxx
May 27, 2024 19:20 55s Amxx:feature/governor-counting-fractional
Amxx:feature/governor-counting-fractional
May 27, 2024 19:20 55s
Extended packing and extracting library for value types formal verification #4207: Pull request #5056 synchronize by Amxx
May 27, 2024 19:16 1m 17s Amxx:procedural/packing
Amxx:procedural/packing
May 27, 2024 19:16 1m 17s
Use free memory pointer for returndatacopy formal verification #4206: Pull request #5057 labeled by ernestognw
May 27, 2024 19:09 59s frangio:fix-memory-safe-create2
frangio:fix-memory-safe-create2
May 27, 2024 19:09 59s
Add GovernorCountingFractional formal verification #4205: Pull request #5045 synchronize by ernestognw
May 27, 2024 18:56 1m 5s Amxx:feature/governor-counting-fractional
Amxx:feature/governor-counting-fractional
May 27, 2024 18:56 1m 5s
Add GovernorCountingFractional formal verification #4204: Pull request #5045 synchronize by ernestognw
May 27, 2024 18:45 1m 8s Amxx:feature/governor-counting-fractional
Amxx:feature/governor-counting-fractional
May 27, 2024 18:45 1m 8s