Skip to content
Verification of Reusable Verification Library in C

Updates README #11

Sign in to view logs

Updates README

Updates README #11

Triggered via push December 7, 2023 15:27
@ArquintLArquintL
pushed 647edd2
main
Status Success
Total duration 23s
Artifacts –

verifast-library.yml

on: push
build-verify
12s
build-verify
Fit to window
Zoom out
Zoom in