Marking simplifications that preserve definedness #6967
Triggered via pull request
October 17, 2024 10:50
PetarMax
Status
Cancelled
Total duration
1m 19s
Artifacts
–
test-pr.yml
on: pull_request
Matrix: Pyk: Code Quality & Unit Tests
Java: Linting
1m 5s
Matrix: K: Nix Build & Test
Matrix: Pyk: Nix Build
Pyk: Documentation
0s
Pyk: Profiling
0s
Pyk: Integration Tests
0s
Pyk: Regression Tests
0s
Annotations
10 errors
|
Pyk: Code Quality & Unit Tests (3.12)
Canceling since a higher priority waiting request for 'Test PR-refs/pull/4662/merge' exists
|
|
Pyk: Code Quality & Unit Tests (3.12)
The operation was canceled.
|
|
Pyk: Code Quality & Unit Tests (3.11)
Canceling since a higher priority waiting request for 'Test PR-refs/pull/4662/merge' exists
|
|
Pyk: Code Quality & Unit Tests (3.11)
The operation was canceled.
|
|
Pyk: Code Quality & Unit Tests (3.13)
Canceling since a higher priority waiting request for 'Test PR-refs/pull/4662/merge' exists
|
|
Pyk: Code Quality & Unit Tests (3.13)
The operation was canceled.
|
|
Pyk: Code Quality & Unit Tests (3.10)
Canceling since a higher priority waiting request for 'Test PR-refs/pull/4662/merge' exists
|
|
Pyk: Code Quality & Unit Tests (3.10)
The operation was canceled.
|
|
Java: Linting
Canceling since a higher priority waiting request for 'Test PR-refs/pull/4662/merge' exists
|
|
Java: Linting
The operation was canceled.
|