Print print intermediate configurations after some function events in kore-proof-trace
#68
master-pr.yml
on: pull_request
Change base to develop branch
8s