CI

Remove experimental FP-to-BV impl from Bitwuzla #394

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Download Dependencies	34s
Windows (arm64, Java 21)	16m 31s
Windows (x64, Java 24)	2m 32s
Windows (x64, Java 21)	3m 43s
macOS (arm64, Java 24)	3m 28s
Linux (arm64, Java 24)	1m 55s
Windows (x64, Java 17)	2m 36s
macOS (x64, Java 17)	5m 30s
Linux (arm64, Java 17)	1m 41s
macOS (arm64, Java 21)	3m 24s
Linux (x64, Java 17)	1m 54s
macOS (arm64, Java 17)	4m 16s
macOS (x64, Java 24)	8m 5s
Linux (x64, Java 21)	2m 20s
macOS (x64, Java 21)	5m 24s
Linux (arm64, Java 21)	1m 49s
Windows (arm64, Java 23)	15m 21s
Linux (x64, Java 24)	1m 37s
Linux (x64, Java 17)	1m 47s
Download Dependencies	34s
Linux (arm64, Java 24)	1m 55s
Windows (x64, Java 21)	3m 43s
Linux (arm64, Java 21)	1m 49s
Linux (x64, Java 24)	1m 37s
macOS (arm64, Java 24)	3m 28s
Windows (arm64, Java 21)	16m 31s
macOS (x64, Java 17)	5m 30s
macOS (arm64, Java 21)	3m 24s
macOS (x64, Java 24)	8m 5s
Windows (arm64, Java 23)	15m 21s
Windows (x64, Java 17)	2m 36s
Linux (arm64, Java 17)	1m 41s
macOS (x64, Java 21)	5m 24s
Linux (x64, Java 21)	2m 20s
macOS (arm64, Java 17)	4m 16s
Windows (x64, Java 24)	2m 32s
	2h 45m 13s