Skip to content
Test PR

Testing build K and Publish to Cachix #7782

Sign in to view logs

Testing build K and Publish to Cachix

Testing build K and Publish to Cachix #7782

Re-run triggered December 22, 2025 16:49
@F-WRunTimeF-WRunTime
#4895
fix/cachix-release-timeout
Status Cancelled
Total duration 6m 38s
Artifacts 4

test-pr.yml

on: pull_request
Matrix: Pyk: Code Quality & Unit Tests
Java: Linting
1m 31s
Java: Linting
Code Quality Checks
3s
Code Quality Checks
K: Ubuntu Jammy Frontend Package
19m 0s
K: Ubuntu Jammy Frontend Package
K: Source Build & Test
33m 10s
K: Source Build & Test
K: Ubuntu Jammy Package
39m 42s
K: Ubuntu Jammy Package
K: macOS Build & Test
36m 15s
K: macOS Build & Test
Matrix: K: Nix Build & Test
Matrix: Pyk: Nix Build
Matrix: Test: Cachix Push (k-framework)
Pyk: Documentation
4m 24s
Pyk: Documentation
Pyk: Profiling
3m 45s
Pyk: Profiling
Pyk: Integration Tests
12m 32s
Pyk: Integration Tests
Pyk: Regression Tests
17m 23s
Pyk: Regression Tests
Fit to window
Zoom out
Zoom in

Annotations

3 errors and 1 warning
Test: Cachix Push (k-framework) (macos-14, macos-14)
Canceling since a higher priority waiting request for Test PR-refs/pull/4895/merge exists
Test: Cachix Push (k-framework) (macos-14, macos-14)
The operation was canceled.
Test PR
Canceling since a higher priority waiting request for Test PR-refs/pull/4895/merge exists
Test: Cachix Push (k-framework) (macos-14, macos-14)
No push credentials found. Ignoring the 'useDaemon' option.