Skip to content
Lint

set an exit code in make_doc #2126

Sign in to view logs

set an exit code in make_doc

set an exit code in make_doc #2126

Triggered via pull request November 10, 2024 08:49
@ThomasBreuerThomasBreuer
synchronize #5835
ThomasBreuer:TB_report_errors
Status Success
Total duration 40s
Artifacts –

lint.yml

on: pull_request
gaplint
30s
gaplint
Fit to window
Zoom out
Zoom in