verific: Disable module existence check during static elaboration #1453
test-build.yml
on: push
pre_docs_job
6s
pre_job
4s
Matrix: Reusable build
Matrix: Try build docs
Matrix: Run docs tests
Matrix: Run tests
Annotations
7 errors and 2 warnings
Try build docs (latexpdf)
The run was canceled by @github-actions[bot].
|
Try build docs (html)
The run was canceled by @github-actions[bot].
|
Try build docs (html)
The operation was canceled.
|
Reusable build (ubuntu-latest)
The run was canceled by @github-actions[bot].
|
Reusable build (ubuntu-latest)
The operation was canceled.
|
Reusable build (macos-latest)
The run was canceled by @github-actions[bot].
|
Reusable build (macos-latest)
The operation was canceled.
|
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
|