Skip to content

Actions: OpenZeppelin/openzeppelin-contracts

Actions

formal verification

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
formal-verification.yml
3,059 workflow runs
3,059 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add Bytes32x2Set formal verification #5797: Pull request #5442 synchronize by Amxx
January 20, 2025 21:07 56s Amxx:feature/memory_set
Amxx:feature/memory_set
January 20, 2025 21:07 56s
Add Bytes32x2Set formal verification #5796: Pull request #5442 synchronize by Amxx
January 20, 2025 21:04 55s Amxx:feature/memory_set
Amxx:feature/memory_set
January 20, 2025 21:04 55s
Group typographical errors formal verification #5795: Pull request #5443 synchronize by ernestognw
January 20, 2025 18:57 58s typo-fixes
typo-fixes
January 20, 2025 18:57 58s
Group typographical errors formal verification #5794: Pull request #5443 synchronize by ernestognw
January 20, 2025 18:55 55s typo-fixes
typo-fixes
January 20, 2025 18:55 55s
fix: typos formal verification #5793: Pull request #5302 synchronize by ernestognw
January 20, 2025 18:54 1m 15s sky-coderay:master
sky-coderay:master
January 20, 2025 18:54 1m 15s
Group typographical errors formal verification #5792: Pull request #5443 synchronize by ernestognw
January 20, 2025 18:50 57s typo-fixes
typo-fixes
January 20, 2025 18:50 57s
Alternative to #5437 formal verification #5791: Pull request #5444 opened by ernestognw
January 20, 2025 18:49 1m 11s ernestognw:Vikt0rPavlik/master
ernestognw:Vikt0rPavlik/master
January 20, 2025 18:49 1m 11s
Group typographical errors formal verification #5790: Pull request #5443 synchronize by ernestognw
January 20, 2025 18:45 56s typo-fixes
typo-fixes
January 20, 2025 18:45 56s
Group typographical errors formal verification #5789: Pull request #5443 synchronize by ernestognw
January 20, 2025 18:40 54s typo-fixes
typo-fixes
January 20, 2025 18:40 54s
Grammar fixes in documentation formal verification #5788: Pull request #5349 synchronize by ernestognw
January 20, 2025 18:40 1m 46s Daulox92:master
Daulox92:master
January 20, 2025 18:40 1m 46s
Grammar fixes in documentation formal verification #5787: Pull request #5349 synchronize by ernestognw
January 20, 2025 18:40 1m 9s Daulox92:master
Daulox92:master
January 20, 2025 18:40 1m 9s
Group typographical errors formal verification #5786: Pull request #5443 synchronize by ernestognw
January 20, 2025 18:38 57s typo-fixes
typo-fixes
January 20, 2025 18:38 57s
Fix typos improved clarity formal verification #5785: Pull request #5326 synchronize by ernestognw
January 20, 2025 18:38 1m 7s Danyylka:master
Danyylka:master
January 20, 2025 18:38 1m 7s
Group typographical errors formal verification #5784: Pull request #5443 synchronize by ernestognw
January 20, 2025 18:35 1m 7s typo-fixes
typo-fixes
January 20, 2025 18:35 1m 7s
Fix typos and improve consistency in documentation formal verification #5783: Pull request #5344 synchronize by ernestognw
January 20, 2025 18:35 1m 1s donatik27:master
donatik27:master
January 20, 2025 18:35 1m 1s
Fix typos and improve consistency in documentation formal verification #5782: Pull request #5344 synchronize by ernestognw
January 20, 2025 18:34 1m 4s donatik27:master
donatik27:master
January 20, 2025 18:34 1m 4s
Fix typos and improve consistency in documentation formal verification #5781: Pull request #5344 synchronize by ernestognw
January 20, 2025 18:34 1m 12s donatik27:master
donatik27:master
January 20, 2025 18:34 1m 12s
Group typographical errors formal verification #5780: Pull request #5443 synchronize by ernestognw
January 20, 2025 18:32 1m 10s typo-fixes
typo-fixes
January 20, 2025 18:32 1m 10s
Fix typos in GUIDELINES.md and SECURITY.md formal verification #5779: Pull request #5352 synchronize by ernestognw
January 20, 2025 18:32 1m 1s Dimitrolito:fix/typos
Dimitrolito:fix/typos
January 20, 2025 18:32 1m 1s
Group typographical errors formal verification #5778: Pull request #5443 synchronize by ernestognw
January 20, 2025 18:31 1m 29s typo-fixes
typo-fixes
January 20, 2025 18:31 1m 29s
Group typographical errors formal verification #5777: Pull request #5443 labeled by ernestognw
January 20, 2025 18:30 1m 40s typo-fixes
typo-fixes
January 20, 2025 18:30 1m 40s
Group typographical errors formal verification #5776: Pull request #5443 synchronize by ernestognw
January 20, 2025 18:30 54s typo-fixes
typo-fixes
January 20, 2025 18:30 54s
Fix Typographical Errors in Contracts and Tests formal verification #5775: Pull request #5402 labeled by ernestognw
January 20, 2025 18:29 1m 37s Marcofann:fix/typo
Marcofann:fix/typo
January 20, 2025 18:29 1m 37s
Fix Typographical Errors in Contracts and Tests formal verification #5774: Pull request #5402 synchronize by ernestognw
January 20, 2025 18:29 1m 3s Marcofann:fix/typo
Marcofann:fix/typo
January 20, 2025 18:29 1m 3s
Group typographical errors formal verification #5773: Pull request #5443 opened by ernestognw
January 20, 2025 18:26 1m 7s typo-fixes
typo-fixes
January 20, 2025 18:26 1m 7s