Change PR target to master

Improve test harness and test coverage for proof hints #5

Sign in to view logs

Triggered via pull request May 7, 2024 16:22

dwightguth

opened #1046

hint-harness

Status Success

Total duration 19s

Artifacts –

master-pr.yml

on: pull_request

Change base to develop branch