Merge pull request #4612 from georgerennie/george/opt_demorgan_zero_w… #1298
widlarizertest-build.yml
on: push
pre_docs_job
5s
pre_job
5s
Matrix: Reusable build
Matrix: Try build docs
Matrix: Run docs tests
Matrix: Run tests
Annotations
4 errors
|
Try build docs (latexpdf)
The run was canceled by @github-actions[bot].
|
|
Try build docs (html)
The run was canceled by @github-actions[bot].
|
|
Reusable build (macos-latest)
The run was canceled by @github-actions[bot].
|
|
Reusable build (ubuntu-latest)
The run was canceled by @github-actions[bot].
|