Skip to content
verify

docs(paper): numbered table captions; natural abstract and framing flow #73

Sign in to view logs

docs(paper): numbered table captions; natural abstract and framing flow

docs(paper): numbered table captions; natural abstract and framing flow #73

Triggered via push July 5, 2026 03:34
@grandchildricegrandchildrice
pushed 6c888c5
main
Status Success
Total duration 12m 8s
Artifacts –

verify.yml

on: push
verify
2m 1s
verify
yosys-formal
12m 5s
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.