Skip to content
Formalities

feat: highlight proof states without embedding them in terms #56

Sign in to view logs

feat: highlight proof states without embedding them in terms

feat: highlight proof states without embedding them in terms #56

Triggered via pull request September 10, 2024 15:00
@david-christiansendavid-christiansen
opened #45
hl-proof-state
Status Success
Total duration 14s
Artifacts –

formalities.yml

on: pull_request
Build
3s
Build
Fit to window
Zoom out
Zoom in