Skip to content

Ncore taclets

Ncore taclets #60

Annotations

1 error and 1 warning

integration-tests (testRunAllFunProofs, ubuntu-latest, 21)

failed Jan 8, 2025 in 1h 8m 5s
Set up job
2s
Run actions/checkout@v4
6s
Set up JDK 21
6s
Cache SMT-Solvers
0s
Install SMT-Solvers
2s
Setup Gradle
0s
Running tests: testRunAllFunProofs
1h 7m 43s
Upload test results
2s
Post Setup Gradle
0s
Post Cache SMT-Solvers
0s
Post Set up JDK 21
0s
Post Run actions/checkout@v4
0s
Complete job
0s