Change PR target to master

Fixes for MInt serialization into the proof trace #81

Sign in to view logs

Triggered via pull request September 27, 2024 20:36

theo25

opened #1152

hint-mint-serialize

Status Success

Total duration 25s

Artifacts –

master-pr.yml

on: pull_request

Change base to develop branch