Add --nobuild option to build script. #1262
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
pr.yaml
on: push
checks
/
check-style
2m 8s
checks
/
other-checks
51s
pr-builder
/
run
0s