Skip to content
Test cvc5

Minor refactor #252

Sign in to view logs

Minor refactor

Minor refactor #252

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

test-cvc5.yml

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