ci: Split docs building from linting #1568
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
2m 38s
Test with coverage
4m 6s
Test in Alpine Linux
4m 38s
Lint
2m 25s
Valgrind & Helgrind
7m 20s