Skip to content

Actions: OpenZeppelin/openzeppelin-contracts

checks

Actions

Loading...

Show workflow options

Create status badge

3,836 workflow runs
3,836 workflow runs
Event

Filter by event

Status

Filter by status

Branch
Actor

Filter by actor

Fix Codespell
checks #6542: Pull request #5055 opened by ernestognw
May 24, 2024 22:28 10m 37s ernestognw-patch-1
May 24, 2024 22:28 10m 37s
Fix typo in Governance docs
checks #6538: Pull request #5048 synchronize by ernestognw
May 24, 2024 18:01 10m 49s GianfrancoBazzani:patch-1
May 24, 2024 18:01 10m 49s
Update certora-cli to 7.3.0
checks #6537: Pull request #5021 synchronize by ernestognw
May 24, 2024 17:32 10m 42s update/certora-7.3.0
May 24, 2024 17:32 10m 42s
Update dependency halmos to v0.1.13 (#5054)
checks #6536: Commit 1224d19 pushed by ernestognw
May 23, 2024 18:49 10m 5s master
May 23, 2024 18:49 10m 5s
Update dependency certora-cli to v7
checks #6535: Pull request #4957 synchronize by renovate bot
May 23, 2024 15:01 10m 10s renovate/certora-cli-7.x
May 23, 2024 15:01 10m 10s
Update dependency halmos to v0.1.13
checks #6534: Pull request #5054 opened by renovate bot
May 23, 2024 15:01 10m 21s renovate/halmos-0.x
May 23, 2024 15:01 10m 21s
Add Halmos support for formal verification (#5034)
checks #6533: Commit f1a69f1 pushed by ernestognw
May 23, 2024 15:01 11m 41s master
May 23, 2024 15:01 11m 41s
Update dependency eslint to v9
checks #6532: Pull request #4996 synchronize by Amxx
May 23, 2024 14:51 28s renovate/major-linters
May 23, 2024 14:51 28s
Update dependency eslint to v9
checks #6531: Pull request #4996 synchronize by Amxx
May 23, 2024 14:40 34s renovate/major-linters
May 23, 2024 14:40 34s
Update dependency eslint to v9
checks #6528: Pull request #4996 synchronize by renovate bot
May 23, 2024 13:10 10m 22s renovate/major-linters
May 23, 2024 13:10 10m 22s
Update dependency solhint to v5 (#5038)
checks #6527: Commit 9de916d pushed by Amxx
May 23, 2024 13:09 10m 33s master
May 23, 2024 13:09 10m 33s
Update dependency solhint to v5
checks #6526: Pull request #5038 synchronize by Amxx
May 23, 2024 13:07 10m 2s renovate/solhint-5.x
May 23, 2024 13:07 10m 2s
Fix spelling (#5049)
checks #6525: Commit fe68c12 pushed by Amxx
May 23, 2024 13:06 3m 19s master
May 23, 2024 13:06 3m 19s