ci: Split docs building from linting #1572
godlygeek
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
55s
Test with coverage
5m 51s
Test in Alpine Linux
5m 20s
Lint
1m 37s
Valgrind & Helgrind
6m 46s