Update crate-ci/typos action to v1.35.5 #17
renovate[bot]Annotations
1 error and 10 warnings
|
typos
Process completed with exit code 2.
|
|
typos:
./Minimal/Reduction/Regular/Confluence.lean#L103
"Clos" should be "Close".
|
|
typos:
./Minimal/Reduction/Regular/Confluence.lean#L100
"Clos" should be "Close".
|
|
typos:
./Minimal/Reduction/Regular/Confluence.lean#L93
"Clos" should be "Close".
|
|
typos:
./Minimal/Reduction/Regular/Confluence.lean#L86
"Clos" should be "Close".
|
|
typos:
./Minimal/Calculus.lean#L21
"Defition" should be "Definition".
|
|
typos:
./Minimal/Reduction/Regular/Confluence.lean#L73
"Clos" should be "Close".
|
|
typos:
./Minimal/Reduction/Regular/Confluence.lean#L7
"Auxilary" should be "Auxiliary".
|
|
typos:
./Minimal/Term.lean#L37
"Defition" should be "Definition".
|
|
typos:
./Minimal/Term.lean#L21
"Defition" should be "Definition".
|
|
typos:
./PhiCalculus.lean#L8
"Thm" should be "Them".
|