Add -no_sat and -init_registers synth options #3898
main.yml
on: pull_request
ClangTidy
CodeFormatting
macos-clang
macos-gcc
msys2-gcc
windows-msvc
Matrix: centos7-gcc
Waiting for pending jobs
Matrix: linux-gcc
Waiting for pending jobs
Annotations
1 error
main
Canceling since a higher priority waiting request for 'main-refs/pull/825/merge' exists
|