Build pull request

Remove github.event.pull_request.head.label and github.head_ref as th… #222

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Prepare	33s
Prepare	32s
checks / other-checks	1s
checks / other-checks	45s
CI Pipeline / Build (gcc)	1s
CI Pipeline / Build (gcc)	6m 30s
CI Pipeline / Build (clang)	1s
CI Pipeline / Build (clang)	5m 38s
checks / check-style	1s
checks / check-style	1m 0s
CI Pipeline / Check	1s
CI Pipeline / Check	4m 38s
CI Pipeline / Code Coverage	1s
CI Pipeline / Code Coverage	17m 11s
CI Pipeline / Test	1s
CI Pipeline / Benchmark	1s
CI Pipeline / Benchmark	5m 18s
CI Pipeline / Documentation	1s
CI Pipeline / Documentation	5m 4s
CI Pipeline / Package	1s
CI Pipeline / Package	11m 41s
pr-builder	1s
CI Pipeline / Test (gcc)	9m 54s
CI Pipeline / Test (clang)	10m 12s
pr-builder / run	2s
	1h 19m 9s