Skip to content

Actions: OpenZeppelin/openzeppelin-contracts

changeset

Actions

Loading...

Show workflow options

Create status badge

3,396 workflow runs
3,396 workflow runs
Event

Filter by event

Status

Filter by status

Branch
Actor

Filter by actor

Fix typo in GovernorVotesQuorumFraction.test.js
changeset #4395: Pull request #5041 labeled by Amxx
May 17, 2024 13:23 2s bodhi-crypo:master
Update dependency certora-cli to v7
changeset #4391: Pull request #4957 synchronize by renovate bot
May 15, 2024 18:57 3s renovate/certora-cli-7.x
Add Halmos support
changeset #4381: Pull request #5034 synchronize by ernestognw
May 14, 2024 20:55 3s ernestognw:chore/use-halmos
Add Halmos support
changeset #4380: Pull request #5034 synchronize by ernestognw
May 14, 2024 20:16 2s ernestognw:chore/use-halmos
Add Halmos support
changeset #4379: Pull request #5034 synchronize by ernestognw
May 14, 2024 20:11 2s ernestognw:chore/use-halmos
Add Halmos support
changeset #4378: Pull request #5034 synchronize by ernestognw
May 14, 2024 20:07 3s ernestognw:chore/use-halmos
Add Halmos support
changeset #4377: Pull request #5034 synchronize by ernestognw
May 14, 2024 19:49 3s ernestognw:chore/use-halmos
Add Halmos support
changeset #4376: Pull request #5034 synchronize by ernestognw
May 14, 2024 18:31 4s ernestognw:chore/use-halmos
Add Halmos support
changeset #4372: Pull request #5034 synchronize by ernestognw
May 14, 2024 01:15 2s ernestognw:chore/use-halmos
Add Halmos support
changeset #4371: Pull request #5034 synchronize by ernestognw
May 14, 2024 01:03 2s ernestognw:chore/use-halmos