Skip to content

Bump org.junit.jupiter:junit-jupiter-params from 5.9.3 to 5.10.0 #1147

Bump org.junit.jupiter:junit-jupiter-params from 5.9.3 to 5.10.0

Bump org.junit.jupiter:junit-jupiter-params from 5.9.3 to 5.10.0 #1147

Triggered via pull request July 26, 2023 01:00
Status Success
Total duration 2h 54m 8s
Artifacts 2

tests.yml

on: pull_request
Matrix: integration-tests
Matrix: unit-tests
Fit to window
Zoom out
Zoom in

Annotations

3 notices
integration-tests (testProveRules, ubuntu-latest, 11)
{Z3 found. Caching works! Skip installation}
integration-tests (testRunAllInfProofs, ubuntu-latest, 11)
{Z3 found. Caching works! Skip installation}
integration-tests (testRunAllFunProofs, ubuntu-latest, 11)
{Z3 found. Caching works! Skip installation}

Artifacts

Produced during runtime
Name Size
pr-number Expired
4 Bytes
test-results Expired
32.2 MB