add library note on universe output parameters, update adaptation notes #6732
kim-embuild.yml
on: push
ci
/
Build
12m 0s
ci
/
Lint style
2m 3s
ci
/
Post-CI job
Annotations
4 errors and 1 warning
|
ci / Build
Canceling since a higher priority waiting request for continuous integration-refs/heads/lean-pr-testing-12286- exists
|
|
ci / Build
The operation was canceled.
|
|
continuous integration
Canceling since a higher priority waiting request for continuous integration-refs/heads/lean-pr-testing-12286- exists
|
|
continuous integration
Canceling since a higher priority waiting request for continuous integration-refs/heads/lean-pr-testing-12286- exists
|
|
ci / Build
Cache directory does not exist: /home/lean/.cache/mathlib
|