Run Tests on Push or PR

Merge pull request #91 from CERTCC/z3mac #239

Sign in to view logs

Triggered via push December 4, 2024 13:57

main

Status Success

Total duration 33m 21s

Artifacts –

run_tests_on_push_pr.yml

on: push

Matrix: Run Tests on Push or PR

Annotations

14 warnings

Run Tests on Push or PR (ubuntu-latest, 11.1.1)

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

Run Tests on Push or PR (ubuntu-latest, 10.4)

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

Run Tests on Push or PR (ubuntu-latest, 11.0)

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

Run Tests on Push or PR (ubuntu-latest, 10.3.3)

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

Run Tests on Push or PR (ubuntu-latest, 11.0.1)

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

Run Tests on Push or PR (ubuntu-latest, 11.2.1)

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

Run Tests on Push or PR (ubuntu-latest, 10.3.2)

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

Run Tests on Push or PR (ubuntu-latest, 11.0.2)

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

Run Tests on Push or PR (ubuntu-latest, 11.1)

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

Run Tests on Push or PR (ubuntu-latest, 11.1.2)

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

Run Tests on Push or PR (ubuntu-latest, 11.2)

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

Run Tests on Push or PR (ubuntu-latest, 10.3.1)

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

Run Tests on Push or PR (ubuntu-latest, 11.0.3)

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

Run Tests on Push or PR (ubuntu-latest, 10.3)

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