Test PR

keep the constraints unchanged after creating a new cterm #7107

Sign in to view logs

Triggered via pull request December 11, 2024 08:16

Stevengre

opened #4709

jh/fix-minimization-order

Status Failure

Total duration 2m 8s

Artifacts –

test-pr.yml

on: pull_request

Matrix: Pyk: Code Quality & Unit Tests

Code Quality Checks

K: Ubuntu Jammy Frontend Package

K: Source Build & Test

K: Ubuntu Jammy Package

Matrix: K: Nix Build & Test

Matrix: Pyk: Nix Build

Pyk: Documentation

Pyk: Integration Tests

Pyk: Regression Tests

Annotations

4 errors and 5 warnings

Pyk: Code Quality & Unit Tests (3.11)

Process completed with exit code 2.

Pyk: Code Quality & Unit Tests (3.12)

Process completed with exit code 2.

Pyk: Code Quality & Unit Tests (3.10)

Process completed with exit code 2.

Pyk: Code Quality & Unit Tests (3.13)

Process completed with exit code 2.

Pyk: Code Quality & Unit Tests (3.11)

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

Pyk: Code Quality & Unit Tests (3.12)

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

Java: Linting

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

Pyk: Code Quality & Unit Tests (3.10)

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

Pyk: Code Quality & Unit Tests (3.13)

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636