Skip to content
MSVC Static Build

z3.h: Don't include stdio.h #1957

Sign in to view logs

z3.h: Don't include stdio.h

z3.h: Don't include stdio.h #1957

Re-run triggered November 23, 2023 23:44
@nunoplopesnunoplopes
#7014
waywardmonkeys:remove-stdio.h-inclusion
Status Success
Total duration 16m 1s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

msvc-static-build.yml

on: pull_request
build
15m 50s
build
Fit to window
Zoom out
Zoom in