Back to pull request #137

Remove supplementary definitions of `__bswapsi2` #391

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check licenses	16s
Check dependencies	2m 52s
Build docs	10m 21s
Check Kani proofs	2m 58s
Check source	1m 43s
Run other tests	44m 28s
Build everything	10m 58s
Deploy docs	0s
	1h 13m 36s