You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
[ci] switch build-dev command to doing production and full checks
Previously we were doing a full check (without --all-targets), then
checks on a few packages. Do this in a more principled manner:
* a check of all production code
* a check of all code in the workspace
Closes: diem#6917
0 commit comments