ci: Split docs building from linting #1571
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
48s
Test with coverage
4m 45s
Test in Alpine Linux
5m 41s
Lint
1m 54s
Valgrind & Helgrind
5m 45s