Test PR

Start `kdist` workers with `spawn` #6698

Sign in to view logs

Triggered via pull request August 23, 2024 18:07

tothtamas28

synchronize #4601

kdist-spawn

Status Success

Total duration 33m 26s

Artifacts 2

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 4 warnings

K: Ubuntu Jammy Frontend Package

RPC failed; curl 92 HTTP/2 stream 0 was not closed cleanly: CANCEL (err 8)

K: Ubuntu Jammy Frontend Package

early EOF

K: Ubuntu Jammy Frontend Package

fetch-pack: invalid index-pack output

K: Ubuntu Jammy Frontend Package

clone of 'https://github.com/runtimeverification/haskell-backend' into submodule path '/home/github-runner/actions-runner/_work/k/k/k-jammy/haskell-backend/src/main/native/haskell-backend' failed

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.32 is already installed and up-to-date. To reinstall 5.2.32, run: brew reinstall bash

Artifacts

Produced during runtime

Name	Size
kframework-frontend.deb Expired	76.6 MB
kframework.deb Expired	175 MB