Check labels

gh-135755: rename undocumented `HACL_CAN_COMPILE_SIMD{128,256}` macros #186068

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Unresolved review	6s
DO-NOT-MERGE	4s
	10s