Skip to content

A compiler is refused only when the realisation needs a token it cannot take #643

A compiler is refused only when the realisation needs a token it cannot take

A compiler is refused only when the realisation needs a token it cannot take #643

Triggered via pull request September 18, 2026 03:01
Status Success
Total duration 31m 59s
Artifacts 4

ci-target-matrix.yml

on: pull_request
Matrix: invariants
Matrix: scan
coverage (every host the table names was scanned)
5s
coverage (every host the table names was scanned)
Fit to window
Zoom out
Zoom in

Annotations

9 warnings
invariants (linux-x86_64)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache@v4, actions/checkout@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
invariants (macos-arm64)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache@v4, actions/checkout@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
invariants (windows-x86_64)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache@v4, actions/checkout@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
invariants (linux-aarch64)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache@v4, actions/checkout@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
scan (linux-aarch64)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache@v4, 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/
scan (windows-x86_64)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache@v4, 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/
scan (macos-arm64)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache@v4, 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/
scan (linux-x86_64)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache@v4, 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/
coverage (every host the table names was scanned)
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/download-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
matrix-linux-aarch64
472 Bytes
sha256:4f908a9bb40f75e5ac90f51ebe0867a3a3b8616b445453e383458b3778869e9b
matrix-linux-x86_64
809 Bytes
sha256:42d7d58fc89d5e66dce73c8322737b1be45cf08f6abf6db8fd097129bf4b9de2
matrix-macos-arm64
649 Bytes
sha256:46143da466d53d0c0a4509d10f07b68e3bccafb53c5e5f21e2a9082511e1ceab
matrix-windows-x86_64
795 Bytes
sha256:f4b39f01186edafa81833b021b0beff32b504213a251682307d86c08a7e5151c