Skip to content

dev: remove unrelated flags from config and linters command #191

dev: remove unrelated flags from config and linters command

dev: remove unrelated flags from config and linters command #191

Triggered via pull request February 2, 2024 21:06
Status Success
Total duration 1m 58s
Artifacts

pr-documentation.yml

on: pull_request
Build documentation
1m 46s
Build documentation
Fit to window
Zoom out
Zoom in