Skip to content
Test cvc5

Fix actions #257

Sign in to view logs

Fix actions

Fix actions #257

Triggered via pull request December 26, 2024 23:34
@filipeomfilipeom
labeled #265
filipeom:fix-actions
Status Skipped
Total duration 3s
Artifacts –

test-cvc5.yml

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