Add uninterpreted Set implementation to Prelude.lean
#7217
Triggered via pull request
January 20, 2025 15:52
JuanCoRo
Status
Cancelled
Total duration
1m 52s
Artifacts
–
test-pr.yml
on: pull_request
Matrix: Pyk: Code Quality & Unit Tests
Java: Linting
1m 23s
Matrix: K: Nix Build & Test
Matrix: Pyk: Nix Build
Pyk: Documentation
0s
Pyk: Profiling
0s
Pyk: Integration Tests
0s
Pyk: Regression Tests
0s
Annotations
4 errors
|
Pyk: Code Quality & Unit Tests (3.10)
Canceling since a higher priority waiting request for 'Test PR-refs/pull/4738/merge' exists
|
|
Pyk: Code Quality & Unit Tests (3.10)
The operation was canceled.
|
|
Pyk: Code Quality & Unit Tests (3.13)
Canceling since a higher priority waiting request for 'Test PR-refs/pull/4738/merge' exists
|
|
Pyk: Code Quality & Unit Tests (3.13)
The operation was canceled.
|