feat(formal verif): resurrect fiat-crypto with formally verified asse… #1978

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 11s
linux-i386-c-ASM (version-1-6)	51m 9s
linux-amd64-c-NO_ASM (version-1-6)	23m 4s
linux-amd64-c-ASM (version-1-6)	20m 52s
windows-amd64-c-NO_ASM (version-1-6)	34m 37s
windows-amd64-c-ASM (version-1-6)	29m 17s
linux-i386-c-NO_ASM (version-2-0)	44m 46s
linux-i386-c-ASM (version-2-0)	43m 41s
linux-amd64-c-NO_ASM (version-2-0)	21m 27s
linux-amd64-c-ASM (version-2-0)	19m 1s
windows-amd64-c-NO_ASM (version-2-0)	51m 21s
windows-amd64-c-ASM (version-2-0)	48m 49s
	7h 20m 15s