Skip to content
CI

Sync with cvc5 main. #447

Sign in to view logs

Sync with cvc5 main.

Sync with cvc5 main. #447

Triggered via pull request June 2, 2024 14:00
@abdoo8080abdoo8080
opened #107
abdoo8080:sync
Status Success
Total duration 28m 42s
Artifacts –

ci.yml

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