Skip to content
Run linter

Add build.tools to RTD config #275

Sign in to view logs

Add build.tools to RTD config

Add build.tools to RTD config #275

Triggered via push November 17, 2023 12:53
@olofkolofk
pushed 7cc00c8
main
Status Success
Total duration 34s
Artifacts –

lint.yml

on: push
Linter
21s
Linter
Fit to window
Zoom out
Zoom in