[Merged by Bors] - feat: definition of a semisimple representation #267308
Triggered via pull request
February 4, 2026 23:52
stepan2698-cpu
stepan2698-cpu
synchronize
#34584
Status
Failure
Total duration
1m 58s
Artifacts
–
build_fork.yml
on: pull_request_target
ci (fork)
/
Build
1m 55s
ci (fork)
/
Lint style
1m 52s
ci (fork)
/
Post-CI job
0s
Annotations
16 errors
|
ci (fork) / Build
Process completed with exit code 1.
|
|
ci (fork) / Build
failed to synthesize instance of type class
|
|
ci (fork) / Build
failed to synthesize instance of type class
|
|
ci (fork) / Build
apply_fun can only handle hypotheses of the form `a = b`, `a ≠ b`, `a ≤ b`, `a < b`.
|
|
ci (fork) / Build
failed to synthesize instance of type class
|
|
ci (fork) / Build
failed to synthesize instance of type class
|
|
ci (fork) / Build
failed to synthesize instance of type class
|
|
ci (fork) / Build
failed to synthesize instance of type class
|
|
ci (fork) / Build
Process completed with exit code 1.
|
|
ci (fork) / Build
failed to synthesize instance of type class
|
|
ci (fork) / Build
failed to synthesize instance of type class
|
|
ci (fork) / Build
apply_fun can only handle hypotheses of the form `a = b`, `a ≠ b`, `a ≤ b`, `a < b`.
|
|
ci (fork) / Build
failed to synthesize instance of type class
|
|
ci (fork) / Build
failed to synthesize instance of type class
|
|
ci (fork) / Build
failed to synthesize instance of type class
|
|
ci (fork) / Build
failed to synthesize instance of type class
|