Skip to content
Build

Merge branch 'main' of https://github.com/formalsec/ocaml-cvc5 #22

Sign in to view logs

Merge branch 'main' of https://github.com/formalsec/ocaml-cvc5

Merge branch 'main' of https://github.com/formalsec/ocaml-cvc5 #22

Triggered via push April 20, 2024 22:32
@joaomhmpereirajoaomhmpereira
pushed 3919a16
main
Status Success
Total duration 11m 44s
Artifacts –

build.yml

on: push
Matrix: build
Fit to window
Zoom out
Zoom in