Skip to content
Verification of Reusable Protocol Verification Library

Update Gobra #34

Sign in to view logs

Update Gobra

Update Gobra #34

Triggered via pull request August 11, 2026 01:55
@ArquintLArquintL
opened #4
update-gobra
Status Success
Total duration 3m 50s
Artifacts –

library.yml

on: pull_request
verify
3m 46s
verify
Fit to window
Zoom out
Zoom in