Skip to content
Test cvc5

Update README.md and CHANGES.md #197

Sign in to view logs

Update README.md and CHANGES.md

Update README.md and CHANGES.md #197

Triggered via pull request October 10, 2024 12:44
@hra687261hra687261
opened #230
hra687261:update_readme
Status Success
Total duration 33m 49s
Artifacts –

test-cvc5.yml

on: pull_request
test-cvc5
33m 39s
test-cvc5
Fit to window
Zoom out
Zoom in