CI

feat(cuda): selectable compilation target via -K cuda_arch, traced by Lake #39

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build_and_test	1h 54m 1s
CI (slow proofs)	0s
	1h 54m 1s