Skip to content
Tests

feat: add optional IfLifting simplification pass #927

Sign in to view logs

feat: add optional IfLifting simplification pass

feat: add optional IfLifting simplification pass #927

Triggered via pull request December 13, 2024 13:01
@AayushSabharwalAayushSabharwal
synchronize #3272
AayushSabharwal:as/if-rewriting
Status Success
Total duration 54m 27s
Artifacts –

Tests.yml

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

Annotations

24 warnings
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 (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, 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, 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, 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 (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 (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 (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 (lts, InterfaceII) / Tests - InterfaceII
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 (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 (pre, InterfaceII) / Tests - InterfaceII
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, 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 (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, InterfaceII) / Tests - InterfaceII
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 (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
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