Skip to content
Test PR

Fix docs build release job #6005

Sign in to view logs

Fix docs build release job

Fix docs build release job #6005

Triggered via pull request June 20, 2024 19:04
@BaltoliBaltoli
synchronize #4464
fix-docs-job
Status Failure
Total duration 27m 26s
Artifacts 2

test-pr.yml

on: pull_request
Matrix: Pyk: Code Quality & Unit Tests
Java: Linting
1m 36s
Java: Linting
Code Quality Checks
0s
Code Quality Checks
K: Ubuntu Jammy Frontend Package
15m 0s
K: Ubuntu Jammy Frontend Package
K: Ubuntu Jammy Package
17m 55s
K: Ubuntu Jammy Package
K: Source Build & Test
20m 45s
K: Source Build & Test
Matrix: K: Nix Build & Test
Matrix: Pyk: Nix Build
Pyk: Documentation
2m 2s
Pyk: Documentation
Pyk: Profiling
4m 37s
Pyk: Profiling
Pyk: Integration Tests
2m 0s
Pyk: Integration Tests
Pyk: Regression Tests
50s
Pyk: Regression Tests
K: Profiling
1m 58s
K: Profiling
Pyk: Documentation (TEST)
1m 32s
Pyk: Documentation (TEST)
Fit to window
Zoom out
Zoom in

Annotations

12 errors and 1 warning
Pyk: Regression Tests
Process completed with exit code 1.
Pyk: Regression Tests
Process completed with exit code 1.
K: Profiling
Process completed with exit code 1.
K: 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.
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.
Pyk: Profiling
Process completed with exit code 1.
Pyk: Profiling
Process completed with exit code 1.
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