Skip to content
Change PR target to master

Callback-based subclass for the proof trace writer #71

Sign in to view logs

Callback-based subclass for the proof trace writer

Callback-based subclass for the proof trace writer #71

Triggered via pull request September 6, 2024 17:45
@theo25theo25
opened #1142
callback-event-writer-2
Status Success
Total duration 19s
Artifacts –

master-pr.yml

on: pull_request
Change base to develop branch
12s
Change base to develop branch
Fit to window
Zoom out
Zoom in