Skip to content

Actions: OpenZeppelin/openzeppelin-contracts

changeset

Actions

Loading...

Show workflow options

Create status badge

3,387 workflow runs
3,387 workflow runs
Event

Filter by event

Status

Filter by status

Branch
Actor

Filter by actor

Fix Codespell
changeset #4428: Pull request #5055 opened by ernestognw
May 24, 2024 22:28 21s ernestognw-patch-1
May 24, 2024 22:28 21s
Fix typo in Governance docs
changeset #4424: Pull request #5048 synchronize by ernestognw
May 24, 2024 18:01 3s GianfrancoBazzani:patch-1
Update certora-cli to 7.3.0
changeset #4423: Pull request #5021 synchronize by ernestognw
May 24, 2024 17:32 3s update/certora-7.3.0
Update dependency certora-cli to v7
changeset #4422: Pull request #4957 synchronize by renovate bot
May 23, 2024 15:01 3s renovate/certora-cli-7.x
Update dependency halmos to v0.1.13
changeset #4421: Pull request #5054 opened by renovate bot
May 23, 2024 15:01 4s renovate/halmos-0.x
Update dependency halmos to v0.1.13
changeset #4420: Pull request #5054 labeled by renovate bot
May 23, 2024 15:01 3s renovate/halmos-0.x
Update dependency eslint to v9
changeset #4419: Pull request #4996 synchronize by Amxx
May 23, 2024 14:51 4s renovate/major-linters
Update dependency eslint to v9
changeset #4418: Pull request #4996 synchronize by Amxx
May 23, 2024 14:40 4s renovate/major-linters
Update dependency eslint to v9
changeset #4415: Pull request #4996 synchronize by renovate bot
May 23, 2024 13:10 3s renovate/major-linters
Update dependency solhint to v5
changeset #4414: Pull request #5038 synchronize by Amxx
May 23, 2024 13:07 3s renovate/solhint-5.x
Fix spelling
changeset #4413: Pull request #5049 labeled by Amxx
May 23, 2024 13:06 4s chibitanaka:spelling-fixes
Add Halmos support
changeset #4409: Pull request #5034 synchronize by ernestognw
May 22, 2024 16:04 4s ernestognw:chore/use-halmos
Add Halmos support
changeset #4408: Pull request #5034 synchronize by Amxx
May 22, 2024 13:15 3s ernestognw:chore/use-halmos
Add Halmos support
changeset #4407: Pull request #5034 synchronize by Amxx
May 22, 2024 12:55 3s ernestognw:chore/use-halmos