Build pull request

Don't require paths to be prefixed with a /, requiring it is not user… #179

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Prepare	32s
Prepare	32s
checks / other-checks	35s
checks / other-checks	35s
checks / check-style	55s
checks / check-style	55s
CI Pipeline / Build (gcc)	6m 52s
CI Pipeline / Build (gcc)	6m 52s
CI Pipeline / Check	5m 29s
CI Pipeline / Check	5m 29s
CI Pipeline / Build (clang)	6m 29s
CI Pipeline / Build (clang)	6m 29s
CI Pipeline / Code Coverage	12m 32s
CI Pipeline / Code Coverage	14m 12s
CI Pipeline / Documentation	15m 5s
CI Pipeline / Documentation	15m 5s
CI Pipeline / Test (gcc)	12m 10s
CI Pipeline / Test (gcc)	12m 10s
CI Pipeline / Benchmark	15m 26s
CI Pipeline / Benchmark	15m 26s
CI Pipeline / Test (clang)	10m 14s
CI Pipeline / Test (clang)	10m 14s
CI Pipeline / Package	14m 21s
CI Pipeline / Package	11m 27s
pr-builder	0s
pr-builder / run	5s
	3h 20m 11s