ci/gh-actions/depends

Multi-input FCMP++ proofs over FFI working #414

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
RISCV 64bit	12m 22s
ARM v7	13m 21s
ARM v8	13m 20s
i686 Win	13m 58s
i686 Linux	12m 54s
Win64	15m 35s
x86_64 Linux	13m 17s
Cross-Mac x86_64	21m 25s
Cross-Mac aarch64	21m 42s
x86_64 Freebsd	14m 4s
ARMv8 Android	12m 31s
	2h 44m 29s