Merge pull request #39 from alaindargelas/enable_formal_passes #261
akashlevytest-build.yml
on: push
pre_docs_job
7s
pre_job
6s
Matrix: Reusable build
Matrix: Run docs tests
Matrix: Run tests
Annotations
2 errors and 5 warnings
|
Reusable build (ubuntu-latest)
Process completed with exit code 2.
|
|
Reusable build (macos-latest)
Process completed with exit code 2.
|
|
pre_job
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
pre_docs_job
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
Reusable build (ubuntu-latest)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
Reusable build (macos-latest)
pkgconf 2.3.0_1 is already installed and up-to-date.
To reinstall 2.3.0_1, run:
brew reinstall pkgconf
|
|
Reusable build (macos-latest)
HOMEBREW_NO_INSTALLED_DEPENDENTS_CHECK is set: not checking for outdated
dependents or dependents with broken linkage!
|