Skip to content
continuous integration

fixes for leanprover/lean4#8347 #192279

Sign in to view logs

fixes for leanprover/lean4#8347

fixes for leanprover/lean4#8347 #192279

Triggered via push May 19, 2025 02:38
@kim-emkim-em
pushed 932d504
lean-pr-testing-8347
Status Failure
Total duration 12m 3s
Artifacts –

build.yml

on: push
Lint style
2m 4s
Lint style
Build
11m 56s
Build
Post-CI job
0s
Post-CI job
Fit to window
Zoom out
Zoom in

Annotations

11 errors
Build
The process '/usr/bin/env' failed with exit code 1
Build: Mathlib/Algebra/GroupWithZero/Action/Pointwise/Set.lean#L156
type mismatch
Build: Mathlib/Algebra/GroupWithZero/Action/Pointwise/Set.lean#L159
failed to synthesize
Build: Mathlib/Algebra/GroupWithZero/Action/Pointwise/Set.lean#L159
type mismatch
Build: Mathlib/Algebra/GroupWithZero/Action/Pointwise/Set.lean#L162
failed to synthesize
Build: Mathlib/Algebra/GroupWithZero/Action/Pointwise/Set.lean#L162
type mismatch
Build: Mathlib/Algebra/GroupWithZero/Action/Pointwise/Set.lean#L172
failed to synthesize
Build: Mathlib/Algebra/GroupWithZero/Action/Pointwise/Set.lean#L172
type mismatch
Build: Mathlib/Algebra/GroupWithZero/Action/Pointwise/Set.lean#L178
failed to synthesize
Build: Mathlib/Algebra/GroupWithZero/Action/Pointwise/Set.lean#L178
type mismatch
Build: Mathlib/Algebra/GroupWithZero/Action/Pointwise/Set.lean#L183
failed to synthesize