Skip to content

vet-ir: close β F2 — make the discovery match the closure claim #481

vet-ir: close β F2 — make the discovery match the closure claim

vet-ir: close β F2 — make the discovery match the closure claim #481

Triggered via push August 11, 2026 14:39
Status Success
Total duration 2m 51s
Artifacts 1

ci.yml

on: push
build
2m 19s
build
linkcheck
6s
linkcheck
spec-validate
9s
spec-validate
conformance-validate
6s
conformance-validate
skill-validate
7s
skill-validate
self-measure-smoke
2m 47s
self-measure-smoke
forbidden-wording
7s
forbidden-wording
Fit to window
Zoom out
Zoom in

Annotations

7 warnings
conformance-validate
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, cue-lang/setup-cue@v1.0.1. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
skill-validate
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, cue-lang/setup-cue@v1.0.1. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
linkcheck
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. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
spec-validate
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. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
forbidden-wording
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. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
build
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/upload-artifact@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
self-measure-smoke
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. 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
coh-linux-x64
2.26 MB
sha256:858e550e43f008fc99868d40573fa17a16e6e31a3c21d8b5514e489436c39b35