continuous integration

feat: Basis for Tensors #1853

Sign in to view logs

Triggered via pull request February 14, 2025 08:34

synchronize #335

NotesFix

Status Failure

Total duration 16m 11s

Artifacts –

build.yml

on: pull_request

Python based style linter

Annotations

2 errors

doc lint: HepLean/Tensors/TensorSpecies/Basic.lean#L328

TensorSpecies.liftTensor definition missing documentation string

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