Build pull request

devcontainer: replace VAULT_HOST with AWS_ROLE_ARN #361

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Prepare	35s
checks / other-checks	32s
checks / check-style	1m 21s
CI Pipeline / Build (gcc)	5m 32s
CI Pipeline / Check	3m 31s
CI Pipeline / Build (clang)	5m 46s
CI Pipeline / Code Coverage	13m 38s
CI Pipeline / Benchmark	4m 14s
CI Pipeline / Test (gcc)	8m 35s
CI Pipeline / Documentation	3m 47s
CI Pipeline / Test (clang)	10m 40s
CI Pipeline / Package	0s
pr-builder / run	2s
	58m 13s