Skip to content

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

dev: remove unrelated flags from config and linters command

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

Triggered via pull request December 23, 2023 18:35
Status Success
Total duration 2m 9s
Artifacts

pr-documentation.yml

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