Making proof_trace_parser and llvm_rewrite_trace_iterator use a shared_ptr of kore_header
#3247
Robertorosmaninhoclang-format-check.yml
on: pull_request
Formatting Check
52s
Shell check
5s
Clang Tidy check
12m 37s
Scala formatting check
35s
Annotations
1 warning
|
Scala formatting check
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/setup-java@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|