Change PR target to master

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

Sign in to view logs

Triggered via pull request October 11, 2024 19:03

Robertorosmaninho

opened #1156

fix-parse-proof-iterator-issue

Status Success

Total duration 23s

Artifacts –

master-pr.yml

on: pull_request

Change base to develop branch