Skip to content
formal verification

Update Annual License #9263

Sign in to view logs

Update Annual License

Update Annual License #9263

Triggered via pull request January 6, 2026 14:05
@arr00arr00
labeled #6262
luiz-lvj:master
Status Success
Total duration 12m 51s
Artifacts –

formal-verification.yml

on: pull_request
apply-diff
6s
apply-diff
verify
0s
verify
halmos
6m 50s
halmos
Fit to window
Zoom out
Zoom in