Windows build and test

portfolio data-race fix #533

Sign in to view logs

Triggered via push November 25, 2023 11:41

svcomp24

Status Success

Total duration 10m 50s

Artifacts –

win-build-test.yml

on: push

Matrix: test-windows