⚡ O(1) CFG successor lookup in IR verifier #460
Tcode-MotionAnnotations
3 warnings and 3 notices
|
check-graph (3.10)
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/setup-python@v5, actions/upload-artifact@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
check-graph (3.12)
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/setup-python@v5, actions/upload-artifact@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
check-graph (3.11)
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/setup-python@v5, actions/upload-artifact@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
check-graph (3.10)
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
|
|
check-graph (3.12)
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
|
|
check-graph (3.11)
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
graphify-artifacts-python-3.10
|
540 KB |
sha256:3449b63bfe8ec0c75bb27b9cc10ebca0c1ee969587a63f5e141dbe316c9b3536
|
|
|
graphify-artifacts-python-3.11
|
540 KB |
sha256:02dec2293a53c67fd85c4d128428913fa494530036bfefd2ad46e4886d9d00a3
|
|
|
graphify-artifacts-python-3.12
|
540 KB |
sha256:37f5fe2fbc2de23185ac70ad85c450607d9182563f91c89a59b613d9db67e163
|
|