ci: Split docs building from linting #1574
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
43s
Test with coverage
5m 33s
Test in Alpine Linux
4m 37s
Lint
2m 1s
Valgrind & Helgrind
7m 2s