Skip to content

Ncore taclets

Ncore taclets #60

Annotations

1 warning

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

succeeded Jan 8, 2025 in 9m 45s
Set up job
3s
Run actions/checkout@v4
5s
Set up JDK 21
7s
Cache SMT-Solvers
1s
Install SMT-Solvers
2s
Setup Gradle
0s
Running tests: testProveRules
9m 20s
Upload test results
1s
Post Setup Gradle
1s
Post Cache SMT-Solvers
0s
Post Set up JDK 21
0s
Post Run actions/checkout@v4
0s
Complete job
0s