continuous integration

Bump v4.17 #1951

Sign in to view logs

Triggered via pull request March 4, 2025 09:37

opened #369

bump-v4.17

Status Failure

Total duration 19m 10s

Artifacts –

build.yml

on: pull_request

Python based style linter

Annotations

3 errors

doc lint: PhysLean/Relativity/Lorentz/ComplexTensor/Units/Basis.lean#L31

complexLorentzTensor.coContrUnit_tensorBasis unnecessary have hI2 : DFunLike.coe =

doc lint: PhysLean/Relativity/Lorentz/ComplexTensor/Units/Basis.lean#L75

complexLorentzTensor.contrCoUnit_tensorBasis unnecessary have hI2 : DFunLike.coe =

The process '/usr/bin/env' failed with exit code 1