Skip to content

Decoupling the alphabet field as BMC type parameter #166

Decoupling the alphabet field as BMC type parameter

Decoupling the alphabet field as BMC type parameter #166

Triggered via pull request October 13, 2024 17:01
Status Failure
Total duration 3m 52s
Artifacts

CI.yml

on: pull_request
Matrix: test
Fit to window
Zoom out
Zoom in

Annotations

3 errors, 5 warnings, and 2 notices
Julia nightly - ubuntu-latest - x64 - pull_request
Process completed with exit code 1.
Julia nightly - macos-latest - x64 - pull_request
Process completed with exit code 1.
Julia nightly - windows-latest - x64 - pull_request
Process completed with exit code 1.
Documentation: ../../../.julia/packages/DocumenterVitepress/8qgu7/src/vitepress_config.jl#L111
DocumenterVitepress: No logo.png file found in `docs/src/assets`. Skipping logo replacement.
Documentation: ../../../.julia/packages/DocumenterVitepress/8qgu7/src/vitepress_config.jl#L122
DocumenterVitepress: No favicon.ico file found in `docs/src/assets`. Skipping favicon replacement.
Documentation: ../../../.julia/packages/Documenter/C1XEF/src/deploydocs.jl#L533
removing `stable` and linking `stable` to `v0.2.0`.
Documentation: ../../../.julia/packages/Documenter/C1XEF/src/deploydocs.jl#L533
removing `v0.2` and linking `v0.2` to `v0.2.0`.
Documentation: ../../../.julia/packages/Documenter/C1XEF/src/deploydocs.jl#L533
removing `v0.1` and linking `v0.1` to `v0.1.5`.
[julia-buildpkg] Caching of the julia depot was not detected
Consider using `julia-actions/cache` to speed up runs https://github.com/julia-actions/cache. To ignore, set input `ignore-no-cache: true`
[julia-buildpkg] Caching of the julia depot was not detected
Consider using `julia-actions/cache` to speed up runs https://github.com/julia-actions/cache. To ignore, set input `ignore-no-cache: true`