Skip to content
Test cvc5

Minor refactor #251

Sign in to view logs

Minor refactor

Minor refactor #251

Triggered via pull request December 6, 2024 17:41
@filipeomfilipeom
labeled #261
filipeom:minor-refactor
Status Skipped
Total duration 3s
Artifacts –

test-cvc5.yml

on: pull_request
test-cvc5
0s
test-cvc5
Fit to window
Zoom out
Zoom in