Change PR target to master

Split proof hint trace into multiple files #76

Sign in to view logs

Triggered via pull request September 17, 2024 00:43

theo25

opened #1147

split-hints

Status Success

Total duration 27s

Artifacts –

master-pr.yml

on: pull_request

Change base to develop branch