main

Add -no_sat and -init_registers synth options #3888

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
CodeFormatting	9s
centos7-test	12m 38s
ClangTidy	4m 28s
ubuntu-test	5m 52s
macos-clang	10m 48s
macos-gcc	7m 44s
ubuntu-regression	5m 41s
ubuntu-coverage	6m 56s
msys2-gcc	13m 7s
ubuntu-install	6m 54s
windows-msvc	23m 40s
ubuntu-valgrind	6m 39s
ubuntu-production	6m 37s
	1h 51m 13s