Skip to content

Actions: vacp2p/governance

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
4 workflow runs
4 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore(CI): ensure CI tasks are run on develop branch (#4) CI #13: Commit 7419cc3 pushed by 0x-r4bbit
December 11, 2023 10:03 1m 56s main
main
December 11, 2023 10:03 1m 56s
chore: add certora CI integration (#3) CI #12: Commit 5ea5fef pushed by 0x-r4bbit
December 11, 2023 10:02 2m 13s main
main
December 11, 2023 10:02 2m 13s
chore(CI): ensure CI tasks are run on develop branch CI #11: Pull request #4 opened by 0x-r4bbit
December 6, 2023 11:15 1m 2s ci-develop
ci-develop
December 6, 2023 11:15 1m 2s
chore: add certora CI integration CI #10: Pull request #3 opened by 0x-r4bbit
November 29, 2023 11:27 2m 12s feat/certora-ci
feat/certora-ci
November 29, 2023 11:27 2m 12s