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
Decide on what name to use. (I.e. whether to treat pre-existing WG-compilation-incr WG github label as overriding precedent, or use something else like WG-incr-comp to match up with A-incr-comp...)
Check if compiler team meeting pages for WG updates need any changes (didn't @spastorino add a magic number on @pnkfelix's suggestion to keep the near-term order stable when new WG's are added?)
Solicit membership from people who have expressed interest, have relevant expertise, etc. (This check box is "done when its done")
Check if compiler team meeting pages for WG updates need any changes (didn't @spastorino add a magic number on @pnkfelix's suggestion to keep the near-term order stable when new WG's are added?)
Going to check the box related to this thing. We do have a magic number so we have a way to adjust things.
Solicit membership from people who have expressed interest, have relevant expertise, etc. (This check box is "done when its done") is done Write a guide giving some high-level guidelines like rust-lang/rustc-dev-guide#556 unsure Link to the sample PR in this section of the rustc-guide unsure about this Write an announcement blog post I guess this is pending
But besides from that I'm not sure if all that stuff is needed?.
Adapting check-list of things to do from #282
WG-incr-comp
WG-compilation-incr
WG github label as overriding precedent, or use something else like WG-incr-comp to match up with A-incr-comp...)WG-incr-comp
!#t-compiler/wg-incr-comp
The text was updated successfully, but these errors were encountered: