refactor: remove duplicate type classes in Iris/Std/Classes.lean and reuse definitions from core libraries
#2013
alvinyltbuild.yml
on: pull_request
Annotations
4 errors
|
build
Process completed with exit code 1.
|
|
build
lake build failed
|
|
build-math
Process completed with exit code 1.
|
|
build-math
lake build failed
|