Skip to content
test

Implement ires=-1 backtracking with idid=-4 and add phys rejection tests #276

Sign in to view logs

Implement ires=-1 backtracking with idid=-4 and add phys rejection tests

Implement ires=-1 backtracking with idid=-4 and add phys rejection tests #276

This workflow is awaiting approval from a maintainer
Triggered via push May 12, 2026 20:26
@CopilotCopilot
pushed f265cda
copilot/extend-rhs-sub-interface
Status Action required
Total duration –
Artifacts –
This workflow is awaiting approval from a maintainer

test.yaml

on: push
cmake
cmake
Matrix: flang
Waiting for pending jobs
Fit to window
Zoom out
Zoom in