Formal verification: resurrect fiat-crypto with formally verified assembly #1979

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
linux-i386-c-NO_ASM (version-1-6)	52m 13s
linux-i386-c-ASM (version-1-6)	51m 44s
linux-amd64-c-NO_ASM (version-1-6)	23m 9s
linux-amd64-c-ASM (version-1-6)	21m 35s
windows-amd64-c-NO_ASM (version-1-6)	33m 1s
windows-amd64-c-ASM (version-1-6)	29m 52s
linux-i386-c-NO_ASM (version-2-0)	44m 45s
linux-i386-c-ASM (version-2-0)	44m 50s
linux-amd64-c-NO_ASM (version-2-0)	21m 29s
linux-amd64-c-ASM (version-2-0)	19m 35s
windows-amd64-c-NO_ASM (version-2-0)	50m 34s
windows-amd64-c-ASM (version-2-0)	48m 58s
	7h 21m 45s