support write MergedEdge during CSE proof #7052

Sign in to view logs

Re-run triggered November 26, 2024 14:47

Stevengre

#4695

zjh/merged-edge-without-pop-node

Status Cancelled

Total duration 44s

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

Pyk: Code Quality & Unit Tests (3.11)

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.12)

Process completed with exit code 2.

Pyk: Code Quality & Unit Tests (3.13)

Canceling since a higher priority waiting request for 'Test PR-refs/pull/4695/merge' exists