Skip to content
Foundry Tests

Add feature gating for slow tests and cache SRS using git LFS #2

Sign in to view logs

Add feature gating for slow tests and cache SRS using git LFS

Add feature gating for slow tests and cache SRS using git LFS #2

Triggered via pull request November 1, 2023 01:31
@willemoldingwillemolding
synchronize #27
willem/full-prover-tests-behind-feature
Status Failure
Total duration 19s
Artifacts –

foundry-tests.yml

on: pull_request
Foundry project
7s
Foundry project
Fit to window
Zoom out
Zoom in

Annotations

1 error
Foundry project
Process completed with exit code 1.