Skip to content

No need to set the devbranch on docs/make.jl #12

No need to set the devbranch on docs/make.jl

No need to set the devbranch on docs/make.jl #12

Triggered via push September 12, 2023 20:42
Status Success
Total duration 3m 26s
Artifacts

Lint.yml

on: push
Fit to window
Zoom out
Zoom in

Annotations

1 warning
Linting
The `python-version` input is not set. The version of Python currently in `PATH` will be used.