Skip to content
Formalities

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

Sign in to view logs

feat: highlight proof states without embedding them in terms

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

Triggered via push September 10, 2024 15:00
@david-christiansendavid-christiansen
pushed c766e99
hl-proof-state
Status Success
Total duration 14s
Artifacts –

formalities.yml

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