Skip to content

Prove max-zero through branch-dependent propagators #11427

Prove max-zero through branch-dependent propagators

Prove max-zero through branch-dependent propagators #11427

Triggered via pull request August 14, 2026 17:01
Status Cancelled
Total duration 9m 34s
Artifacts

ci.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Annotations

2 errors, 1 warning, and 1 notice
build
The run was canceled by @kim-em.
CI
The run was canceled by @kim-em.
build
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/
build
Lake artifact cache enabled (service hex-public)