Skip to content

Actions: EperezOk/openzeppelin-contracts

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
18 workflow runs
18 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
Add formal verification for ERC-4626 changeset #3: Pull request #1 synchronize by EperezOk
23s fv/erc4626-certora
fv/erc4626-certora
23s
Add formal verification for ERC-4626 lint workflows #3: Pull request #1 synchronize by EperezOk
12s fv/erc4626-certora
fv/erc4626-certora
12s
Add formal verification for ERC-4626 checks #3: Pull request #1 synchronize by EperezOk
16m 43s fv/erc4626-certora
fv/erc4626-certora
16m 43s
Add formal verification for ERC-4626 Formal verification - Halmos #3: Pull request #1 synchronize by EperezOk
7m 31s fv/erc4626-certora
fv/erc4626-certora
7m 31s
Add formal verification for ERC-4626 Formal verification - Certora #6: Pull request #1 synchronize by EperezOk
1s
1s
Add formal verification for ERC-4626 lint workflows #2: Pull request #1 synchronize by EperezOk
11s fv/erc4626-certora
fv/erc4626-certora
11s
Add formal verification for ERC-4626 Formal verification - Halmos #2: Pull request #1 synchronize by EperezOk
7m 40s fv/erc4626-certora
fv/erc4626-certora
7m 40s
Add formal verification for ERC-4626 checks #2: Pull request #1 synchronize by EperezOk
14m 20s fv/erc4626-certora
fv/erc4626-certora
14m 20s
Add formal verification for ERC-4626 changeset #2: Pull request #1 synchronize by EperezOk
14s fv/erc4626-certora
fv/erc4626-certora
14s
Add formal verification for ERC-4626 Formal verification - Certora #5: Pull request #1 synchronize by EperezOk
10s
10s
Add formal verification for ERC-4626 lint workflows #1: Pull request #1 synchronize by EperezOk
19s fv/erc4626-certora
fv/erc4626-certora
19s
Add formal verification for ERC-4626 checks #1: Pull request #1 synchronize by EperezOk
15m 47s fv/erc4626-certora
fv/erc4626-certora
15m 47s
Add formal verification for ERC-4626 Formal verification - Halmos #1: Pull request #1 synchronize by EperezOk
7m 36s fv/erc4626-certora
fv/erc4626-certora
7m 36s
Add formal verification for ERC-4626 changeset #1: Pull request #1 synchronize by EperezOk
27s fv/erc4626-certora
fv/erc4626-certora
27s
Add formal verification for ERC-4626 Formal verification - Certora #4: Pull request #1 synchronize by EperezOk
2s
2s
Add formal verification for ERC-4626 Formal verification - Certora #3: Pull request #1 synchronize by EperezOk
1s
1s
Add formal verification for ERC-4626 Formal verification - Certora #2: Pull request #1 synchronize by EperezOk
1s
1s
Add formal verification for ERC-4626 Formal verification - Certora #1: Pull request #1 opened by EperezOk
1s
1s