Skip to content
Verification of Reusable Verification Library for Gobra

Updates README #13

Sign in to view logs

Updates README

Updates README #13

Triggered via push December 7, 2023 17:15
@ArquintLArquintL
pushed bfe5d47
main
Status Success
Total duration 3m 54s
Artifacts –

library.yml

on: push
verify
3m 43s
verify
Fit to window
Zoom out
Zoom in