Skip to content
z3

z3 #892

Sign in to view logs

z3

z3 #892

Triggered via schedule July 14, 2023 01:21
@eineeine
⁠ 7bc4e9a
main
Status Success
Total duration 1h 33m 49s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

z3.yml

on: schedule
z3  /  matrix
6s
z3 / matrix
Matrix: z3 / jobs
Fit to window
Zoom out
Zoom in