fixes for leanprover/lean4#7672 #177930
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
Annotations
4 errors
|
Lint style
Canceling since a higher priority waiting request for 'continuous integration-refs/heads/lean-pr-testing-7672. ' exists
|
|
Lint style
The operation was canceled.
|
|
Build
Canceling since a higher priority waiting request for 'continuous integration-refs/heads/lean-pr-testing-7672. ' exists
|
|
Build
The operation was canceled.
|