Code Checks

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Formatting Check	31s
Scala formatting check	24s
Shell check	8s
Clang Tidy check	23s
	1m 26s