Fix docs build release job #6009
test-pr.yml
on: pull_request
Matrix: Pyk: Code Quality & Unit Tests
Java: Linting
1m 30s
K: Source Build & Test
21m 26s
Matrix: K: Nix Build & Test
Matrix: Pyk: Nix Build
Pyk: Documentation
7m 2s
Pyk: Profiling
3m 31s
Pyk: Integration Tests
7m 0s
Pyk: Regression Tests
1m 57s
K: Profiling
4m 51s
Pyk: Documentation (TEST)
5m 12s
Annotations
9 errors and 1 warning
Pyk: Regression Tests
Process completed with exit code 2.
|
Pyk: Profiling
Process completed with exit code 2.
|
K: Profiling
Process completed with exit code 2.
|
Pyk: Integration Tests
Canceling since a higher priority waiting request for 'Test PR-refs/pull/4464/merge' exists
|
Pyk: Integration Tests
The operation was canceled.
|
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.
|
Pyk: Documentation
Canceling since a higher priority waiting request for 'Test PR-refs/pull/4464/merge' exists
|
Pyk: Documentation
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 |
|