Skip to content

Actions: UW-ASIC/GPurify

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
656 workflow runs
656 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
Verification hardening: exhaustive fixtures, oracle differentials, and the defects they found CI #341: Pull request #1 synchronize by OmarSiwy
3h 23m 31s verification-hardening
verification-hardening
3h 23m 31s
Verification hardening: exhaustive fixtures, oracle differentials, and the defects they found Nightly #315: Pull request #1 synchronize by OmarSiwy
1s verification-hardening
verification-hardening
1s
Nightly Nightly #314: Manually run by OmarSiwy
3h 46m 55s verification-hardening
verification-hardening
3h 46m 55s
Verification hardening: exhaustive fixtures, oracle differentials, and the defects they found CI #340: Pull request #1 synchronize by OmarSiwy
2m 27s verification-hardening
verification-hardening
2m 27s
Verification hardening: exhaustive fixtures, oracle differentials, and the defects they found Nightly #313: Pull request #1 synchronize by OmarSiwy
8s verification-hardening
verification-hardening
8s
Verification hardening: exhaustive fixtures, oracle differentials, and the defects they found Nightly #312: Pull request #1 synchronize by OmarSiwy
1s verification-hardening
verification-hardening
1s
Verification hardening: exhaustive fixtures, oracle differentials, and the defects they found CI #339: Pull request #1 synchronize by OmarSiwy
8m 47s verification-hardening
verification-hardening
8m 47s
Verification hardening: exhaustive fixtures, oracle differentials, and the defects they found Nightly #311: Pull request #1 synchronize by OmarSiwy
6s verification-hardening
verification-hardening
6s
Verification hardening: exhaustive fixtures, oracle differentials, and the defects they found CI #338: Pull request #1 synchronize by OmarSiwy
5m 32s verification-hardening
verification-hardening
5m 32s
Verification hardening: exhaustive fixtures, oracle differentials, and the defects they found Nightly #310: Pull request #1 synchronize by OmarSiwy
1s verification-hardening
verification-hardening
1s
Verification hardening: exhaustive fixtures, oracle differentials, and the defects they found CI #337: Pull request #1 synchronize by OmarSiwy
6m 4s verification-hardening
verification-hardening
6m 4s
Verification hardening: exhaustive fixtures, oracle differentials, and the defects they found CI #336: Pull request #1 synchronize by OmarSiwy
7m 59s verification-hardening
verification-hardening
7m 59s
Verification hardening: exhaustive fixtures, oracle differentials, and the defects they found Nightly #309: Pull request #1 synchronize by OmarSiwy
2s verification-hardening
verification-hardening
2s
Verification hardening: exhaustive fixtures, oracle differentials, and the defects they found CI #335: Pull request #1 synchronize by OmarSiwy
4m 39s verification-hardening
verification-hardening
4m 39s
Verification hardening: exhaustive fixtures, oracle differentials, and the defects they found Nightly #308: Pull request #1 synchronize by OmarSiwy
1s verification-hardening
verification-hardening
1s
X3: LVS partial and missing rows Nightly #307: Pull request #32 synchronize by OmarSiwy
41m 25s agent/x3
agent/x3
41m 25s
X3: LVS partial and missing rows CI #334: Pull request #32 synchronize by OmarSiwy
7m 5s agent/x3
agent/x3
7m 5s
X1: DRC rows 001-069, their missing LEF58 and foundry qualifiers Nightly #306: Pull request #33 synchronize by OmarSiwy
8s agent/x1
agent/x1
8s
X1: DRC rows 001-069, their missing LEF58 and foundry qualifiers CI #333: Pull request #33 synchronize by OmarSiwy
7m 23s agent/x1
agent/x1
7m 23s
h12b: 45-degree kinds, stage 2 continued Nightly #305: Pull request #36 synchronize by OmarSiwy
42m 36s agent/h12b
agent/h12b
42m 36s
h12b: 45-degree kinds, stage 2 continued CI #332: Pull request #36 synchronize by OmarSiwy
10m 43s agent/h12b
agent/h12b
10m 43s
X4: the open ERC rows, implemented from public sources or recorded CI #331: Pull request #31 synchronize by OmarSiwy
10m 42s agent/x4
agent/x4
10m 42s
X4: the open ERC rows, implemented from public sources or recorded Nightly #304: Pull request #31 synchronize by OmarSiwy
10s agent/x4
agent/x4
10s
X5: LEF/DEF, PEX and flow rows Nightly #303: Pull request #35 synchronize by OmarSiwy
41m 36s agent/x5
agent/x5
41m 36s
X5: LEF/DEF, PEX and flow rows CI #330: Pull request #35 synchronize by OmarSiwy
14m 43s agent/x5
agent/x5
14m 43s