Test PR

Merge node #6391

Sign in to view logs

Triggered via pull request July 23, 2024 01:33

Stevengre

synchronize #4541

merge-node

Status Cancelled

Total duration 15m 44s

Artifacts 1

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

9 errors and 4 warnings

Pyk: Regression Tests

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

Pyk: Regression Tests

The operation was canceled.

Pyk: Integration Tests

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

Pyk: Integration Tests

The operation was canceled.

K: Ubuntu Jammy Package

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

K: Nix Build & Test (MacM1, self-macos-12)

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

K: Nix Build & Test (MacM1, self-macos-12)

The operation was canceled.

K: Source Build & Test

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

K: Source Build & Test

The operation was canceled.

Pyk: Nix Build (ubuntu-latest)

No push credentials found. Ignoring the 'useDaemon' option.

Pyk: Nix Build (macos-14)

No push credentials found. Ignoring the 'useDaemon' option.

K: Nix Build & Test (self-hosted, linux, normal)

No push credentials found. Ignoring the 'useDaemon' option.

K: Nix Build & Test (MacM1, self-macos-12)

bash 5.2.26 is already installed and up-to-date. To reinstall 5.2.26, run: brew reinstall bash

Artifacts

Produced during runtime

Name	Size
kframework-frontend.deb Expired	76.6 MB