CI Build

basic symbolic execution for poly1305 U8TO32 subroutine #27

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build (v5.7.1, 4.8.4, trindemossen-1)	43m 5s
Build (v5.9.1, 1, 4.8.4, trindemossen-1)	55m 14s
	1h 38m 19s