CI

Use `sudo` for `make benchmark` if current user is not root #595

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Image: fedora 41 (x64)	11s
Image: fedora 40 (x64)	9s
Image: fedora 39 (x64)	10s
Image: ubuntu 24.10 (x64)	17s
Image: ubuntu 24.04 (x64)	18s
Image: fedora 41 (arm64)	38s
Image: fedora 40 (arm64)	35s
Image: fedora 39 (arm64)	25s
Image: ubuntu 24.10 (arm64)	27s
Image: ubuntu 24.04 (arm64)	32s
Check	49s
Benchmark: x64	31s
Test: x64	29s
Build: fedora 41 (x64)	32s
Benchmark: arm64	31s
Test: arm64	37s
Build: fedora 40 (x64)	32s
Build: fedora 39 (x64)	33s
Build: ubuntu 24.10 (x64)	31s
Build: ubuntu 24.04 (x64)	30s
Build: fedora 41 (arm64)	37s
Build: fedora 40 (arm64)	33s
Build: fedora 39 (arm64)	39s
Build: ubuntu 24.10 (arm64)	43s
Build: ubuntu 24.04 (arm64)	30s
Documentation	0s
	12m 19s