Skip to content
verify

docs: algorithm-level implications note + prime scout #77

Sign in to view logs

docs: algorithm-level implications note + prime scout

docs: algorithm-level implications note + prime scout #77

Triggered via push July 5, 2026 06:03
@grandchildricegrandchildrice
pushed c42d8ad
main
Status Success
Total duration 13m 20s
Artifacts –

verify.yml

on: push
verify
1m 58s
verify
yosys-formal
13m 17s
yosys-formal
Fit to window
Zoom out
Zoom in

Annotations

4 warnings
verify
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4, astral-sh/setup-uv@v5. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
verify
No file matched to [**/uv.lock,**/requirements*.txt]. The cache will never get invalidated. Make sure you have checked out the target repository and configured the cache-dependency-glob input correctly.
yosys-formal
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4, astral-sh/setup-uv@v5. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
yosys-formal
No file matched to [**/uv.lock,**/requirements*.txt]. The cache will never get invalidated. Make sure you have checked out the target repository and configured the cache-dependency-glob input correctly.