Skip to content

ci: Split docs building from linting #1567

ci: Split docs building from linting

ci: Split docs building from linting #1567

Triggered via pull request August 1, 2023 21:04
Status Failure
Total duration 8m 11s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

build.yml

on: pull_request
Check if generated files are up to date
32s
Check if generated files are up to date
Test with coverage
4m 41s
Test with coverage
Test in Alpine Linux
5m 35s
Test in Alpine Linux
Lint
1m 15s
Lint
Valgrind & Helgrind
7m 43s
Valgrind & Helgrind
Fit to window
Zoom out
Zoom in

Annotations

1 error
Lint
Process completed with exit code 2.