Skip to content

2026.8.25.2 — one predicate family, closed #68

2026.8.25.2 — one predicate family, closed

2026.8.25.2 — one predicate family, closed #68

Triggered via pull request August 25, 2026 12:08
Status Success
Total duration 8m 11s
Artifacts 3

openkal-cross.yml

on: pull_request
Matrix: build
openkal e2e (the scripts, on a runner that has llvm)
8m 7s
openkal e2e (the scripts, on a runner that has llvm)
Matrix: run
Fit to window
Zoom out
Zoom in

Annotations

7 warnings
build 3 targets on macos
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/
build 3 targets on linux
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/
build 3 targets on windows
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/
run 3 builds on linux
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/download-artifact@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
run 3 builds on windows
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/download-artifact@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
run 3 builds on macos
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/download-artifact@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
openkal e2e (the scripts, on a runner that has llvm)
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/

Artifacts

Produced during runtime
Name Size Digest
openkal-built-on-linux
5.45 MB
sha256:ca7c493b1dbaf5214b849368820c2aafc4478a5d99b20940306046578c72a02f
openkal-built-on-macos
5.45 MB
sha256:a114056da7a82858cfdd456c2216241bbc7c71eae8248bc7353e48541908c02f
openkal-built-on-windows
5.46 MB
sha256:6ee33304a915a6cf96c21c0481561f2c11bcc49691a4b4680fb689714986848e