Skip to content
Tests

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

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 #166

Triggered via pull request November 2, 2023 01:15
@willemoldingwillemolding
synchronize #27
willem/full-prover-tests-behind-feature
Status Failure
Total duration 21m 10s
Billable time 21m
Artifacts –

tests.yml

on: pull_request
build-and-test
20m 58s
build-and-test
Fit to window
Zoom out
Zoom in

Annotations

1 error
build-and-test
Process completed with exit code 101.