Skip to content

feat: remove satisfies for feat_req/comp_req (#616) #1212

feat: remove satisfies for feat_req/comp_req (#616)

feat: remove satisfies for feat_req/comp_req (#616) #1212

Triggered via push June 29, 2026 07:25
Status Success
Total duration 7m 32s
Artifacts 3
docs-verify  /  Docs Verification
2m 7s
docs-verify / Docs Verification
unit-tests  /  code
3m 21s
unit-tests / code
docs-build  /  Build Documentation
3m 8s
docs-build / Build Documentation
docs-build  /  Deploy Documentation to GitHub Pages
55s
docs-build / Deploy Documentation to GitHub Pages
Fit to window
Zoom out
Zoom in

Annotations

5 warnings
docs-verify / Docs Verification
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache/restore@v4, actions/checkout@v4.2.2, bazel-contrib/setup-bazel@0.18.0. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
unit-tests / code
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.2.2, actions/upload-artifact@v4, bazel-contrib/setup-bazel@0.18.0. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
docs-build / Build Documentation
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache/restore@v4, actions/cache/save@v4, actions/checkout@v4.2.2, actions/download-artifact@v4, actions/upload-artifact@v4.4.0, bazel-contrib/setup-bazel@0.18.0. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
docs-build / Build Documentation
Cache save failed.
docs-build / Deploy Documentation to GitHub Pages
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, actions/checkout@v4.2.2, actions/configure-pages@v3, actions/deploy-pages@v4, actions/download-artifact@v4.1.8, actions/upload-artifact@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/

Artifacts

Produced during runtime
Name Size Digest
github-pages Expired
111 MB
sha256:00d09d66111f9ced2fcf8270048fa061c66c7cb3800ddd1a426d4e1ca2f56c9b
github-pages-46cfe0468193f8ab5296330f4d278ec2bc2ecff9
4.91 MB
sha256:ab408ec54829c970a8b01a4fde7ba5172e98504271eb4073f8a9e92757a62fb5
tests-report
29.4 KB
sha256:4d0cafe8b5ea70bd76eb09ca70ff77ee83789535bb3936173ed967815e6f4f9b