Skip to content
Verification of Reusable Verification Library for Gobra

fixes README #14

Sign in to view logs

fixes README

fixes README #14

Triggered via push December 8, 2023 09:19
@ArquintLArquintL
pushed 8a07c63
main
Status Success
Total duration 4m 3s
Artifacts –

library.yml

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