Test PR

Fix docs build release job #6008

Sign in to view logs

Triggered via pull request June 20, 2024 19:51

Baltoli

synchronize #4464

fix-docs-job

Status Cancelled

Total duration 22m 24s

Artifacts 2

test-pr.yml

on: pull_request

Matrix: Pyk: Code Quality & Unit Tests

Code Quality Checks

K: Ubuntu Jammy Frontend Package

K: Ubuntu Jammy Package

K: Source Build & Test

Matrix: K: Nix Build & Test

Matrix: Pyk: Nix Build

Pyk: Documentation

Pyk: Integration Tests

Pyk: Regression Tests

Pyk: Documentation (TEST)

Annotations

16 errors and 1 warning

Pyk: Regression Tests

Process completed with exit code 1.

Pyk: Regression Tests

Process completed with exit code 1.

Pyk: Profiling

Process completed with exit code 1.

Pyk: Profiling

Process completed with exit code 1.

Pyk: Integration Tests

Process completed with exit code 1.

Pyk: Integration Tests

Process completed with exit code 1.

K: Profiling

Process completed with exit code 2.

K: Profiling

Process completed with exit code 1.

Pyk: Documentation

Process completed with exit code 1.

Pyk: Documentation

Process completed with exit code 1.

Pyk: Documentation (TEST)

Process completed with exit code 1.

Pyk: Documentation (TEST)

Process completed with exit code 1.

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

Canceling since a higher priority waiting request for 'Test PR-refs/pull/4464/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/4464/merge' exists

K: Source Build & Test

The operation was canceled.

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	165 MB
kframework.deb Expired	173 MB