Code Checks

Making `proof_trace_parser` and `llvm_rewrite_trace_iterator` use a shared_ptr of `kore_header` #3247

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Shell check	5s
Scala formatting check	35s
Formatting Check	52s
Clang Tidy check	12m 37s
	14m 9s