continuous integration

refactor: Docs and note #1727

Sign in to view logs

Triggered via pull request January 23, 2025 14:22

opened #294

Docs

Status Failure

Total duration 15m 42s

Artifacts –

build.yml

on: pull_request

Python based style linter

Annotations

4 errors and 2 warnings

Python based style linter

Process completed with exit code 123.

Process completed with exit code 1.

doc lint: HepLean/Meta/Basic.lean#L126

HepLean.Name.getDocString definition missing documentation string

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

Python based style linter

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636