ci: Split docs building from linting #1573
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
46s
Test with coverage
5m 12s
Test in Alpine Linux
5m 46s
Lint
1m 29s
Valgrind & Helgrind
6m 59s