Skip to content

Ncore taclets

Ncore taclets #63

Annotations

1 error and 2 warnings

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

failed Jan 8, 2025 in 56s
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: testProveRules
34s
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