Skip to content
Back to pull request #3272

feat: add optional IfLifting simplification pass #942

Sign in to view logs

feat: add optional IfLifting simplification pass

feat: add optional IfLifting simplification pass #942

Triggered via pull request December 17, 2024 16:47
@AayushSabharwalAayushSabharwal
synchronize #3272
AayushSabharwal:as/if-rewriting
Status Failure
Total duration 36m 10s
Artifacts –

Tests.yml

on: pull_request
Matrix: Tests
Fit to window
Zoom out
Zoom in

Annotations

3 errors and 21 warnings
Tests (lts, InterfaceII) / Tests - InterfaceII
Process completed with exit code 1.
Tests (pre, InterfaceII) / Tests - InterfaceII
Process completed with exit code 1.
Tests (1, InterfaceII) / Tests - InterfaceII
Process completed with exit code 1.
Tests (lts, RegressionI) / Tests - RegressionI
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Tests (lts, Extended) / Tests - Extended
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Tests (lts, SymbolicIndexingInterface) / Tests - SymbolicIndexingInterface
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Tests (lts, Downstream) / Tests - Downstream
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Tests (lts, Initialization) / Tests - Initialization
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Tests (pre, RegressionI) / Tests - RegressionI
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Tests (1, RegressionI) / Tests - RegressionI
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Tests (1, Extended) / Tests - Extended
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Tests (pre, Extended) / Tests - Extended
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Tests (1, SymbolicIndexingInterface) / Tests - SymbolicIndexingInterface
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Tests (pre, SymbolicIndexingInterface) / Tests - SymbolicIndexingInterface
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Tests (pre, Downstream) / Tests - Downstream
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Tests (1, Downstream) / Tests - Downstream
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Tests (lts, Extensions) / Tests - Extensions
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Tests (pre, Initialization) / Tests - Initialization
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Tests (1, Initialization) / Tests - Initialization
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Tests (lts, InterfaceI) / Tests - InterfaceI
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Tests (1, Extensions) / Tests - Extensions
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Tests (pre, Extensions) / Tests - Extensions
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Tests (pre, InterfaceI) / Tests - InterfaceI
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Tests (1, InterfaceI) / Tests - InterfaceI
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636