Skip to content
Test cvc5

Small refactor #172

Sign in to view logs

Small refactor

Small refactor #172

Triggered via pull request October 4, 2024 08:38
@filipeomfilipeom
synchronize #224
small-refactor
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