Skip to content
Windows build and test

Reformatted code #337

Sign in to view logs

Reformatted code

Reformatted code #337

Triggered via push November 10, 2023 22:16
@thetabotmaintainerthetabotmaintainer[bot]
pushed 72421b3
smt-lib-update
Status Success
Total duration 19m 24s
Artifacts –

win-build-test.yml

on: push
Matrix: test-windows
Fit to window
Zoom out
Zoom in