Skip to content
continuous integration (mathlib forks)

. #4

Sign in to view logs

.

. #4

Triggered via push May 6, 2024 07:51
@awuethawueth
pushed f003e0c
thesis-clean
Status Failure
Total duration 2h 45m 3s
Artifacts –

build_fork.yml

on: push
Lint style (fork)
25s
Lint style (fork)
Check all files imported (fork)
9s
Check all files imported (fork)
Build (fork)
2h 44m
Build (fork)
Cancel Previous Runs (CI)
0s
Cancel Previous Runs (CI)
check workflows (fork)
10s
check workflows (fork)
Post-CI job (fork)
0s
Post-CI job (fork)
Fit to window
Zoom out
Zoom in

Annotations

13 errors
Check all files imported (fork)
Process completed with exit code 1.
Lint style (fork): Mathlib/Combinatorics/SimpleGraph/Cheeger.lean#L22
Mathlib/Combinatorics/SimpleGraph/Cheeger.lean:22 ERR_LIN: Line has more than 100 characters
Lint style (fork): Mathlib/Combinatorics/SimpleGraph/Cheeger.lean#L81
Mathlib/Combinatorics/SimpleGraph/Cheeger.lean:81 ERR_LIN: Line has more than 100 characters
Lint style (fork): Mathlib/Combinatorics/SimpleGraph/Cheeger.lean#L103
Mathlib/Combinatorics/SimpleGraph/Cheeger.lean:103 ERR_LIN: Line has more than 100 characters
Lint style (fork): Mathlib/Combinatorics/SimpleGraph/Cheeger.lean#L105
Mathlib/Combinatorics/SimpleGraph/Cheeger.lean:105 ERR_LIN: Line has more than 100 characters
Lint style (fork): Mathlib/Combinatorics/SimpleGraph/Cheeger.lean#L106
Mathlib/Combinatorics/SimpleGraph/Cheeger.lean:106 ERR_LIN: Line has more than 100 characters
Lint style (fork): Mathlib/Combinatorics/SimpleGraph/Cheeger.lean#L1
Mathlib/Combinatorics/SimpleGraph/Cheeger.lean:1 ERR_COP: Malformed or missing copyright header
Lint style (fork): Mathlib/Combinatorics/SimpleGraph/Cheeger.lean#L2
Mathlib/Combinatorics/SimpleGraph/Cheeger.lean:2 ERR_COP: Malformed or missing copyright header
Lint style (fork): Mathlib/Combinatorics/SimpleGraph/Cheeger.lean#L3
Mathlib/Combinatorics/SimpleGraph/Cheeger.lean:3 ERR_COP: Malformed or missing copyright header
Lint style (fork): Mathlib/Combinatorics/SimpleGraph/Cheeger.lean#L4
Mathlib/Combinatorics/SimpleGraph/Cheeger.lean:4 ERR_COP: Malformed or missing copyright header
Lint style (fork): Mathlib/Combinatorics/SimpleGraph/Cheeger.lean#L5
Mathlib/Combinatorics/SimpleGraph/Cheeger.lean:5 ERR_COP: Malformed or missing copyright header
Build (fork)
Process completed with exit code 1.
Build (fork)
The process '/usr/bin/env' failed with exit code 1