Skip to content
continuous integration (mathlib forks)

first commit #1

Sign in to view logs

first commit

first commit #1

Triggered via push August 31, 2025 01:44
@BeibeiX0BeibeiX0
pushed e31248b
main
Status Failure
Total duration 6m 11s
Artifacts –

build_fork.yml

on: push
Build (fork)
6m 9s
Build (fork)
Lint style (fork)
2m 52s
Lint style (fork)
Post-CI job (fork)
0s
Post-CI job (fork)
Fit to window
Zoom out
Zoom in

Annotations

7 errors and 3 warnings
Build (fork)
The process '/usr/bin/env' failed with exit code 1
Build (fork)
The process '/usr/bin/bash' failed with exit code 1
Build (fork): Mathlib/Algebra/Group/Subgroup/Basic.lean#L764
'MonoidHom.eq_liftOfRightInverse' has already been declared
Build (fork): Mathlib/Algebra/Group/Subgroup/Basic.lean#L759
'MonoidHom.liftOfRightInverse_comp' has already been declared
Build (fork): Mathlib/Algebra/Group/Subgroup/Basic.lean#L753
'MonoidHom.liftOfRightInverse_comp_apply' has already been declared
Build (fork): Mathlib/Algebra/Group/Subgroup/Basic.lean#L741
simp made no progress
Build (fork): Mathlib/Algebra/Group/Subgroup/Basic.lean#L733
application type mismatch
Build (fork): Mathlib/Algebra/Group/Subgroup/Basic.lean#L716
declaration uses 'sorry'
Build (fork): Mathlib/Algebra/Group/Subgroup/Basic.lean#L716
declaration uses 'sorry'
Build (fork)
Cache directory does not exist: /home/runner/.cache/mathlib