Skip to content

Merge pull request #10 from slashv/codex/rename-vrs-to-intent #13

Merge pull request #10 from slashv/codex/rename-vrs-to-intent

Merge pull request #10 from slashv/codex/rename-vrs-to-intent #13

Triggered via push August 9, 2026 20:39
Status Success
Total duration 30s
Artifacts

ci.yml

on: push
materialises
3s
materialises
crate
23s
crate
corpus-strict
28s
corpus-strict
semantic-review-fixtures
10s
semantic-review-fixtures
Fit to window
Zoom out
Zoom in

Annotations

3 warnings
semantic-review-fixtures
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/
crate
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/
corpus-strict
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/