main

Add -no_sat and -init_registers synth options #3886

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
ClangTidy	4m 36s
CodeFormatting	10s
centos7-test	12m 25s
ubuntu-test	5m 41s
macos-clang	11m 31s
macos-gcc	8m 46s
ubuntu-regression	5m 26s
ubuntu-coverage	7m 21s
msys2-gcc	9m 48s
windows-msvc	24m 57s
ubuntu-install	6m 36s
ubuntu-valgrind	7m 10s
ubuntu-production	6m 40s
	1h 51m 7s