Build pull request

Add local CI scripts & rebase docker image (#394) #870

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Prepare	42s
CI Pipeline / Code Coverage	45m 46s
CI Pipeline / Build (gcc)	6m 33s
CI Pipeline / Build (clang)	5m 45s
CI Pipeline / Check	0s
CI Pipeline / Benchmark	7m 52s
CI Pipeline / Documentation	7m 51s
CI Pipeline / Test (gcc)	23m 6s
CI Pipeline / Test (clang)	12m 42s
CI Pipeline / Package	31m 8s
	2h 21m 25s