Trigger CI for https://github.com/leanprover/lean4/pull/7855 #183962
Annotations
2 errors
|
Build:
Mathlib/Data/List/Nodup.lean#L338
@List.Nodup.diff_eq_filter argument 4 inst✝ : DecidableEq
|
|
Build
The process '/usr/bin/env' failed with exit code 1
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
import-graph
Expired
|
218 KB |
sha256:16c65342b642bc0ba8bbf0ef6bdf4e252d6cbbf4748a6db93e13b0d5f6495167
|
|