main

Add -no_sat and -init_registers synth options #3896

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
ubuntu-test	5m 45s
ubuntu-regression	5m 54s
ClangTidy	4m 26s
ubuntu-coverage	6m 36s
centos7-test	7m 58s
ubuntu-install	6m 36s
CodeFormatting	13s
ubuntu-valgrind	6m 44s
macos-clang	10m 15s
ubuntu-production	6m 45s
macos-gcc	7m 45s
msys2-gcc	7m 45s
windows-msvc	7m 46s
	1h 24m 28s