Ncore taclets · Drodt/key@99a3527

Triggered via pull request January 16, 2025 11:13

unp1

synchronize #15

ncore-taclets

Status Success

Total duration 1h 10m 52s

Artifacts 5

tests.yml

on: pull_request

Matrix: integration-tests

Matrix: unit-tests

1 error and 5 warnings

Process completed with exit code 1.

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

Error: Path Validation Error: Path(s) specified in the action for caching do(es) not exist, hence no cache is being saved.

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

Produced during runtime

Name	Size
test-results-testProveRules	50.4 KB
test-results-testRunAllFunProofs	431 KB
test-results-testRunAllInfProofs	196 KB
test-results-ubuntu-latest	715 KB
test-results-windows-latest	713 KB