Trigger CI for https://github.com/leanprover/lean4/pull/8021 #185036
Annotations
2 errors
|
Lint style
Process completed with exit code 1.
|
|
Build
The process '/usr/bin/env' failed with exit code 1
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
import-graph
Expired
|
218 KB |
sha256:a958dc57d4b169a6a9ea9a35671d315786887146d5032f7d9f4d74d3fa6b6b07
|
|