convert #adaptation_note to -- comments for univ_out_params annotations #6733
kim-embuild.yml
on: push
ci
/
Build
43m 29s
ci
/
Lint style
2m 15s
ci
/
Post-CI job
Annotations
1 error and 1 warning
|
ci / Post-Build Step
Process completed with exit code 1.
|
|
ci / Build
Cache directory does not exist: /home/lean/.cache/mathlib
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
import-graph
|
273 KB |
sha256:bc788b8e13a2adc3b787ed71cf39e25dde1266fecd434f3def0c51c6e8731a70
|
|