Windows build and test

Also downloading LICENSE for cvc5 #524

Sign in to view logs

Triggered via push November 22, 2023 22:05

xcfa-refactor

Status Success

Total duration 11m 17s

Artifacts –

win-build-test.yml

on: push

Matrix: test-windows