Skip to content
Delete artifacts branch on PR closed

[Dijkstra] LEDGER-pov: complete the proof — gov re-derivation; Certs/Utxo/Utxow facts as parameters #232

Sign in to view logs

[Dijkstra] LEDGER-pov: complete the proof — gov re-derivation; Certs/Utxo/Utxow facts as parameters

[Dijkstra] LEDGER-pov: complete the proof — gov re-derivation; Certs/Utxo/Utxow facts as parameters #232

Triggered via pull request June 25, 2026 03:15
@williamdemeowilliamdemeo
closed #1223
claude/gifted-bardeen-iiix4j
Status Success
Total duration 52s
Artifacts –

pr_closed.yml

on: pull_request
delete-artifacts-branch
48s
delete-artifacts-branch
Fit to window
Zoom out
Zoom in