Skip to content
Test long

dep(z3): pin 4.12.2 in pyproject (#236) #213

Sign in to view logs

dep(z3): pin 4.12.2 in pyproject (#236)

dep(z3): pin 4.12.2 in pyproject (#236) #213

Triggered via push December 21, 2023 08:15
@daejunparkdaejunpark
pushed 2228ead
main
Status Success
Total duration 16m 10s
Artifacts –

test-long.yml

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