Skip to content
Back to pull request #1076

Remove sentinel for end of KORE terms in the proof hint format #27

Sign in to view logs

Remove sentinel for end of KORE terms in the proof hint format

Remove sentinel for end of KORE terms in the proof hint format #27

Triggered via pull request May 31, 2024 18:19
@theo25theo25
opened #1076
delimeter
Status Success
Total duration 19s
Artifacts –

master-pr.yml

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