Build pull request

Chore: improve concept definitions (#521) #420

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Prepare	26s
checks	0s
CI Pipeline / Code Coverage	19m 28s
CI Pipeline / Check	0s
CI Pipeline / Build (gcc)	6m 32s
CI Pipeline / Build (clang)	6m 8s
CI Pipeline / Documentation	3m 58s
CI Pipeline / Test (gcc)	7m 25s
CI Pipeline / Benchmark	4m 52s
CI Pipeline / Test (clang)	8m 10s
CI Pipeline / Package	12m 59s
pr-builder	0s
	1h 9m 58s