Skip to content

Actions: OpenZeppelin/openzeppelin-contracts

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
CI: run Certora per configuration, selected by what the diff touches Formal verification - Halmos #160: Pull request #6742 synchronize by Amxx
7m 22s fv/certora-per-config-matrix
fv/certora-per-config-matrix
7m 22s
CI: run Certora per configuration, selected by what the diff touches changeset #10774: Pull request #6742 synchronize by Amxx
1s fv/certora-per-config-matrix
fv/certora-per-config-matrix
1s
CI: run Certora per configuration, selected by what the diff touches checks #13221: Pull request #6742 synchronize by Amxx
18m 27s fv/certora-per-config-matrix
fv/certora-per-config-matrix
18m 27s
CI: run Certora per configuration, selected by what the diff touches lint workflows #1254: Pull request #6742 synchronize by Amxx
11s fv/certora-per-config-matrix
fv/certora-per-config-matrix
11s
CI: run Certora per configuration, selected by what the diff touches Formal verification - Certora #153: Pull request #6742 synchronize by Amxx
1s
1s
Code Quality: PR #6742 CodeQL - Code Quality #62: by Amxx
1m 3s refs/pull/6742/head
refs/pull/6742/head
1m 3s
CI: run Certora per configuration, selected by what the diff touches changeset #10773: Pull request #6742 synchronize by Amxx
1s fv/certora-per-config-matrix
fv/certora-per-config-matrix
1s
CI: run Certora per configuration, selected by what the diff touches checks #13220: Pull request #6742 synchronize by Amxx
1m 21s fv/certora-per-config-matrix
fv/certora-per-config-matrix
1m 21s
CI: run Certora per configuration, selected by what the diff touches Formal verification - Halmos #159: Pull request #6742 synchronize by Amxx
1m 6s fv/certora-per-config-matrix
fv/certora-per-config-matrix
1m 6s
CI: run Certora per configuration, selected by what the diff touches lint workflows #1253: Pull request #6742 synchronize by Amxx
14s fv/certora-per-config-matrix
fv/certora-per-config-matrix
14s
CI: run Certora per configuration, selected by what the diff touches Formal verification - Certora #152: Pull request #6742 synchronize by Amxx
1s
1s
Code Quality: PR #6742 CodeQL - Code Quality #61: by Amxx
59s refs/pull/6742/head
refs/pull/6742/head
59s
CI: run Certora per configuration, selected by what the diff touches lint workflows #1252: Pull request #6742 synchronize by Amxx
11s fv/certora-per-config-matrix
fv/certora-per-config-matrix
11s
CI: run Certora per configuration, selected by what the diff touches changeset #10772: Pull request #6742 synchronize by Amxx
1s fv/certora-per-config-matrix
fv/certora-per-config-matrix
1s
CI: run Certora per configuration, selected by what the diff touches Formal verification - Halmos #158: Pull request #6742 synchronize by Amxx
51s fv/certora-per-config-matrix
fv/certora-per-config-matrix
51s
CI: run Certora per configuration, selected by what the diff touches checks #13219: Pull request #6742 synchronize by Amxx
1m 7s fv/certora-per-config-matrix
fv/certora-per-config-matrix
1m 7s
CI: run Certora per configuration, selected by what the diff touches Formal verification - Certora #151: Pull request #6742 synchronize by Amxx
2s
2s
Code Quality: PR #6742 CodeQL - Code Quality #60: by Amxx
1m 4s refs/pull/6742/head
refs/pull/6742/head
1m 4s
CI: run Certora per configuration, selected by what the diff touches checks #13218: Pull request #6742 synchronize by Amxx
6m 29s fv/certora-per-config-matrix
fv/certora-per-config-matrix
6m 29s
CI: run Certora per configuration, selected by what the diff touches lint workflows #1251: Pull request #6742 synchronize by Amxx
21s fv/certora-per-config-matrix
fv/certora-per-config-matrix
21s
CI: run Certora per configuration, selected by what the diff touches Formal verification - Halmos #157: Pull request #6742 synchronize by Amxx
8m 26s fv/certora-per-config-matrix
fv/certora-per-config-matrix
8m 26s
CI: run Certora per configuration, selected by what the diff touches changeset #10771: Pull request #6742 synchronize by Amxx
1s fv/certora-per-config-matrix
fv/certora-per-config-matrix
1s
CI: run Certora per configuration, selected by what the diff touches Formal verification - Certora #150: Pull request #6742 synchronize by Amxx
8s
8s
Code Quality: PR #6742 CodeQL - Code Quality #59: by Amxx
1m 0s refs/pull/6742/head
refs/pull/6742/head
1m 0s
CI: run Certora per configuration, selected by what the diff touches Formal verification - Certora #149: Pull request #6742 synchronize by Amxx
2s
2s