Skip to content
CI

Sync with cvc5 main. (#144) #556

Sign in to view logs

Sync with cvc5 main. (#144)

Sync with cvc5 main. (#144) #556

Triggered via push November 17, 2024 17:27
@abdoo8080abdoo8080
pushed 71ac743
main
Status Success
Total duration 3m 1s
Artifacts –

ci.yml

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