From b8a3ea4e7bb353f2ce529763aa4717192d1e929e Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?R=C3=A9my=20Rakic?= Date: Thu, 23 Jan 2025 19:04:16 +0100 Subject: [PATCH] Link continuing goals to their previous period goal (#236) * mark continuing goals * fix one help wanted task * left align metadata table header * address review comments remove dedicated link, but add previous tracking issue to all continuing goals instead * update goal template to add tracking issue --- src/2025h1/GPU-Offload.md | 8 ++++---- src/2025h1/Polonius.md | 13 +++++++------ src/2025h1/all-hands.md | 2 +- src/2025h1/annotate-snippets.md | 15 ++++++++------- src/2025h1/arm-sve-sme.md | 2 +- src/2025h1/async.md | 16 +++++++++------- src/2025h1/build-std.md | 2 +- src/2025h1/cargo-plumbing.md | 2 +- src/2025h1/cargo-semver-checks.md | 7 ++++--- src/2025h1/compiletest-directive-rework.md | 2 +- src/2025h1/const-trait.md | 15 +++++++++------ src/2025h1/eii.md | 2 +- src/2025h1/ergonomic-rc.md | 16 +++++++++------- src/2025h1/field-projections.md | 2 +- src/2025h1/formality.md | 15 ++++++++------- src/2025h1/improve-rustc-codegen.md | 2 +- src/2025h1/libtest-json.md | 2 +- src/2025h1/macro-improvements.md | 2 +- src/2025h1/metrics-initiative.md | 2 +- src/2025h1/min_generic_const_arguments.md | 15 ++++++++------- src/2025h1/next-solver.md | 16 ++++++++-------- .../null-enum-discriminant-debug-checks.md | 2 +- src/2025h1/open-namespaces.md | 2 +- src/2025h1/optimize-clippy-linting-2.md | 7 ++++--- src/2025h1/parallel-front-end.md | 17 +++++++++-------- src/2025h1/perf-improvements.md | 2 +- src/2025h1/pub-priv.md | 2 +- src/2025h1/pubgrub-in-cargo.md | 15 ++++++++------- src/2025h1/restrictions.md | 2 +- src/2025h1/rfl.md | 9 +++++---- src/2025h1/rust-vision-doc.md | 2 +- src/2025h1/safe-linking.md | 2 +- src/2025h1/seamless-rust-cpp.md | 2 +- src/2025h1/simd-multiversioning.md | 2 +- src/2025h1/spec-fls-publish.md | 2 +- src/2025h1/spec-testing.md | 2 +- src/2025h1/stabilize-project-goal-program.md | 2 +- src/2025h1/stable-mir.md | 2 +- src/2025h1/std-contracts.md | 18 ++++++++++-------- src/2025h1/unsafe-fields.md | 2 +- src/2025h1/verification-and-mirroring.md | 2 +- src/TEMPLATE.md | 7 ++++--- 42 files changed, 140 insertions(+), 121 deletions(-) diff --git a/src/2025h1/GPU-Offload.md b/src/2025h1/GPU-Offload.md index a41ad2f..06d9922 100644 --- a/src/2025h1/GPU-Offload.md +++ b/src/2025h1/GPU-Offload.md @@ -1,10 +1,10 @@ # Expose experimental LLVM features for GPU offloading | Metadata | | -|-----------------------|--------------------------------------------------| -| Point of contact | @ZuseZ4 | -| Teams | | -| Task owners | | +|:----------------------|--------------------------------------------------| +| Point of contact | @ZuseZ4 | +| Teams | | +| Task owners | | | Status | Proposed | | Tracking issue | [rust-lang/rust-project-goals#109] | | Other tracking issues | [rust-lang/rust#124509], [rust-lang/rust#124509] | diff --git a/src/2025h1/Polonius.md b/src/2025h1/Polonius.md index 81f91b9..c70aef3 100644 --- a/src/2025h1/Polonius.md +++ b/src/2025h1/Polonius.md @@ -1,12 +1,13 @@ # Scalable Polonius support on nightly -| Metadata | | -| --- | --- | +| Metadata | | +|:-----------------|------------------------------------| | Point of contact | @lqd | -| Teams | | -| Task owners | | -| Status | Proposed | -| Zulip channel | [#t-types/polonius][channel] | +| Teams | | +| Task owners | | +| Status | Proposed | +| Tracking issue | [rust-lang/rust-project-goals#118] | +| Zulip channel | [#t-types/polonius][channel] | [channel]: https://rust-lang.zulipchat.com/#narrow/channel/186049-t-types.2Fpolonius diff --git a/src/2025h1/all-hands.md b/src/2025h1/all-hands.md index 1e885f2..8ffce0e 100644 --- a/src/2025h1/all-hands.md +++ b/src/2025h1/all-hands.md @@ -1,7 +1,7 @@ # Organize Rust All-Hands 2025 | Metadata | | -|------------------|----------------------| +|:-----------------|----------------------| | Point of contact | @m-ou-se | | Teams | | | Task owners | | diff --git a/src/2025h1/annotate-snippets.md b/src/2025h1/annotate-snippets.md index 2414fce..9eed01e 100644 --- a/src/2025h1/annotate-snippets.md +++ b/src/2025h1/annotate-snippets.md @@ -1,12 +1,13 @@ # Use annotate-snippets for rustc diagnostic output -| Metadata | | -|------------------|------------| -| Point of contact | @Muscraft | -| Teams | | -| Task owners | | -| Status | Proposed | -| Zulip channel | N/A | +| Metadata | | +|:-----------------|------------------------------------| +| Point of contact | @Muscraft | +| Teams | | +| Task owners | | +| Status | Proposed | +| Tracking issue | [rust-lang/rust-project-goals#123] | +| Zulip channel | N/A | ## Summary diff --git a/src/2025h1/arm-sve-sme.md b/src/2025h1/arm-sve-sme.md index f7c044e..52de402 100644 --- a/src/2025h1/arm-sve-sme.md +++ b/src/2025h1/arm-sve-sme.md @@ -1,7 +1,7 @@ # SVE and SME on AArch64 | Metadata | | -|------------------|-----------------------------| +|:-----------------|-----------------------------| | Point of contact | @davidtwco | | Teams | | | Task owners | | diff --git a/src/2025h1/async.md b/src/2025h1/async.md index 44f6f0e..8a80565 100644 --- a/src/2025h1/async.md +++ b/src/2025h1/async.md @@ -1,15 +1,17 @@ # Bring the Async Rust experience closer to parity with sync Rust -| Metadata | | -|----------|-------------------------------------| -| Point of contact | @tmandry | -| Teams | | -| Task owners | | -| Status | Proposed for flagship | -| Zulip channel | [#wg-async][channel] | +| Metadata | | +|:-----------------|------------------------------------| +| Point of contact | @tmandry | +| Teams | | +| Task owners | | +| Status | Proposed for flagship | +| Tracking issue | [rust-lang/rust-project-goals#105] | +| Zulip channel | [#wg-async][channel] | [channel]: https://rust-lang.zulipchat.com/#narrow/channel/187312-wg-async/ + ## Summary Over the next six months, we will continue bringing Async Rust up to par with "sync Rust" by doing the following: diff --git a/src/2025h1/build-std.md b/src/2025h1/build-std.md index e21148e..dab5c87 100644 --- a/src/2025h1/build-std.md +++ b/src/2025h1/build-std.md @@ -1,7 +1,7 @@ # build-std | Metadata | | -|------------------|------------------| +|:-----------------|------------------| | Point of contact | @davidtwco | | Teams | | | Task owners | | diff --git a/src/2025h1/cargo-plumbing.md b/src/2025h1/cargo-plumbing.md index db9a1de..dbf09b2 100644 --- a/src/2025h1/cargo-plumbing.md +++ b/src/2025h1/cargo-plumbing.md @@ -1,7 +1,7 @@ # Prototype a new set of Cargo "plumbing" commands | Metadata | | -|------------------|-------------------------| +|:-----------------|-------------------------| | Point of contact | @epage | | Teams | | | Task owners | | diff --git a/src/2025h1/cargo-semver-checks.md b/src/2025h1/cargo-semver-checks.md index fdb1539..8bd36c0 100644 --- a/src/2025h1/cargo-semver-checks.md +++ b/src/2025h1/cargo-semver-checks.md @@ -1,11 +1,12 @@ # Continue resolving `cargo-semver-checks` blockers for merging into cargo | Metadata | | -| --- | --- | +|:-----------------|------------------------------------| | Point of contact | @obi1kenobi | -| Teams | | -| Task owners | | +| Teams | | +| Task owners | | | Status | Proposed | +| Tracking issue | [rust-lang/rust-project-goals#104] | | Zulip channel | N/A | diff --git a/src/2025h1/compiletest-directive-rework.md b/src/2025h1/compiletest-directive-rework.md index 0ac1293..39f504e 100644 --- a/src/2025h1/compiletest-directive-rework.md +++ b/src/2025h1/compiletest-directive-rework.md @@ -1,7 +1,7 @@ # Making compiletest more maintainable: reworking directive handling | Metadata | | -|------------------|-------------------------| +|:-----------------|-------------------------| | Point of contact | @jieyouxu | | Teams | | | Task owners | | diff --git a/src/2025h1/const-trait.md b/src/2025h1/const-trait.md index a484e0b..f9ee492 100644 --- a/src/2025h1/const-trait.md +++ b/src/2025h1/const-trait.md @@ -1,11 +1,14 @@ # Prepare const traits for stabilization -| Metadata | | -|------------------|--------------------------| -| Point of contact | @oli-obk | -| Teams | | -| Task owners | | -| Status | Proposed | +| Metadata | | +|:-----------------|------------------------------------| +| Point of contact | @oli-obk | +| Teams | | +| Task owners | | +| Status | Proposed | +| Tracking issue | [rust-lang/rust-project-goals#106] | +| Zulip channel | N/A | + ## Summary diff --git a/src/2025h1/eii.md b/src/2025h1/eii.md index fd2a35c..8a76f77 100644 --- a/src/2025h1/eii.md +++ b/src/2025h1/eii.md @@ -1,7 +1,7 @@ # Externally Implementable Items | Metadata | | -|------------------|--------------------| +|:-----------------|--------------------| | Point of contact | @m-ou-se | | Teams | | | Task owners | | diff --git a/src/2025h1/ergonomic-rc.md b/src/2025h1/ergonomic-rc.md index 07aed23..04ab89d 100644 --- a/src/2025h1/ergonomic-rc.md +++ b/src/2025h1/ergonomic-rc.md @@ -1,12 +1,14 @@ # Experiment with ergonomic ref-counting -| Metadata | | -|------------------|-------------| -| Point of contact | @spastorino | -| Teams | | -| Task owners | | -| Status | Proposed | -| Zulip channel | N/A | +| Metadata | | +|:-----------------|------------------------------------| +| Point of contact | @spastorino | +| Teams | | +| Task owners | | +| Status | Proposed | +| Tracking issue | [rust-lang/rust-project-goals#107] | +| Zulip channel | N/A | + ## Summary diff --git a/src/2025h1/field-projections.md b/src/2025h1/field-projections.md index 51c6f84..67a4f0a 100644 --- a/src/2025h1/field-projections.md +++ b/src/2025h1/field-projections.md @@ -1,7 +1,7 @@ # Field Projections | Metadata | | -|------------------|----------------------------| +|:-----------------|----------------------------| | Point of contact | @y86-dev | | Teams | | | Task owners | | diff --git a/src/2025h1/formality.md b/src/2025h1/formality.md index 7231610..b4ba068 100644 --- a/src/2025h1/formality.md +++ b/src/2025h1/formality.md @@ -1,12 +1,13 @@ # Model coherence in a-mir-formality -| Metadata | | -|------------------|---------------| -| Point of contact | @nikomatsakis | -| Teams | | -| Task owners | | -| Status | Proposed | -| Zulip channel | [#t-types/formality][channel] | +| Metadata | | +|:-----------------|------------------------------------| +| Point of contact | @nikomatsakis | +| Teams | | +| Task owners | | +| Status | Proposed | +| Tracking issue | [rust-lang/rust-project-goals#122] | +| Zulip channel | [#t-types/formality][channel] | [channel]: https://rust-lang.zulipchat.com/#narrow/channel/402470-t-types.2Fformality diff --git a/src/2025h1/improve-rustc-codegen.md b/src/2025h1/improve-rustc-codegen.md index ee922ce..ac6b9f1 100644 --- a/src/2025h1/improve-rustc-codegen.md +++ b/src/2025h1/improve-rustc-codegen.md @@ -11,7 +11,7 @@ --> | Metadata | | -|------------------|-------------| +|:-----------------|-------------| | Point of contact | @folkertdev | | Teams | | | Task owners | | diff --git a/src/2025h1/libtest-json.md b/src/2025h1/libtest-json.md index 066c34a..32a16d5 100644 --- a/src/2025h1/libtest-json.md +++ b/src/2025h1/libtest-json.md @@ -1,7 +1,7 @@ # Finish the libtest json output experiment | Metadata | | -|------------------|-----------------------------| +|:-----------------|-----------------------------| | Point of contact | @epage | | Teams | | | Task owners | | diff --git a/src/2025h1/macro-improvements.md b/src/2025h1/macro-improvements.md index c73da10..f137a3e 100644 --- a/src/2025h1/macro-improvements.md +++ b/src/2025h1/macro-improvements.md @@ -1,7 +1,7 @@ # Declarative (`macro_rules!`) macro improvements | Metadata | | -|------------------|---------------| +|:-----------------|---------------| | Point of contact | @joshtriplett | | Teams | | | Task owners | | diff --git a/src/2025h1/metrics-initiative.md b/src/2025h1/metrics-initiative.md index 22a7c81..b4cfbfb 100644 --- a/src/2025h1/metrics-initiative.md +++ b/src/2025h1/metrics-initiative.md @@ -1,7 +1,7 @@ # Metrics Initiative | Metadata | | -|------------------|--------------------------| +|:-----------------|--------------------------| | Point of contact | @yaahc | | Teams | | | Task owners | | diff --git a/src/2025h1/min_generic_const_arguments.md b/src/2025h1/min_generic_const_arguments.md index 00f09c2..1b18e92 100644 --- a/src/2025h1/min_generic_const_arguments.md +++ b/src/2025h1/min_generic_const_arguments.md @@ -1,16 +1,17 @@ # "Stabilizable" prototype for expanded const generics -| Metadata | | -| --- | --- | +| Metadata | | +|:-----------------|------------------------------------| | Point of contact | @BoxyUwU | -| Teams | | -| Task owners | | -| Status | Proposed | -| Tracking issue | [rust-lang/rust-project-goals#100] | -| Zulip channel | [#project-const-generics][channel] | +| Teams | | +| Task owners | | +| Status | Proposed | +| Tracking issue | [rust-lang/rust-project-goals#100] | +| Zulip channel | [#project-const-generics][channel] | [channel]: https://rust-lang.zulipchat.com/#narrow/channel/260443-project-const-generics/ + ## Summary Experiment with a new `min_generic_const_args` implementation to address challenges found with the existing approach to supporting generic parameters in const generic arguments. diff --git a/src/2025h1/next-solver.md b/src/2025h1/next-solver.md index dc194b0..c063944 100644 --- a/src/2025h1/next-solver.md +++ b/src/2025h1/next-solver.md @@ -1,13 +1,13 @@ # Next-generation trait solver -| Metadata | | -|----------------|------------------------------------| -| Point of contact | @lcnr | -| Teams | | -| Task owners | | -| Status | Proposed | -| Tracking issue | [rust-lang/rust-project-goals#113] | -| Zulip channel | [#t-types/trait-system-refactor][channel] | +| Metadata | | +|:-----------------|-------------------------------------------| +| Point of contact | @lcnr | +| Teams | | +| Task owners | | +| Status | Proposed | +| Tracking issue | [rust-lang/rust-project-goals#113] | +| Zulip channel | [#t-types/trait-system-refactor][channel] | [channel]: https://rust-lang.zulipchat.com/#narrow/channel/364551-t-types.2Ftrait-system-refactor diff --git a/src/2025h1/null-enum-discriminant-debug-checks.md b/src/2025h1/null-enum-discriminant-debug-checks.md index 45beb01..d789d7d 100644 --- a/src/2025h1/null-enum-discriminant-debug-checks.md +++ b/src/2025h1/null-enum-discriminant-debug-checks.md @@ -1,7 +1,7 @@ # Null and enum-discriminant runtime checks in debug builds | Metadata | | -|------------------|----------------------| +|:-----------------|----------------------| | Point of contact | @1c3t3a | | Teams | | | Task owners | | diff --git a/src/2025h1/open-namespaces.md b/src/2025h1/open-namespaces.md index c970986..0c0143a 100644 --- a/src/2025h1/open-namespaces.md +++ b/src/2025h1/open-namespaces.md @@ -2,7 +2,7 @@ | Metadata | | -|------------------|----------------------------------| +|:-----------------|----------------------------------| | Point of contact | @epage | | Teams | | | Task owners | | diff --git a/src/2025h1/optimize-clippy-linting-2.md b/src/2025h1/optimize-clippy-linting-2.md index 836225e..9f346a8 100644 --- a/src/2025h1/optimize-clippy-linting-2.md +++ b/src/2025h1/optimize-clippy-linting-2.md @@ -2,14 +2,15 @@ (a.k.a The Clippy Performance Project) | Metadata | | -|------------------|------------------------------------| +|:-----------------|------------------------------------| | Point of contact | @blyxyas | -| Teams | | -| Task owners | | +| Teams | | +| Task owners | | | Status | Proposed | | Tracking issue | [rust-lang/rust-project-goals#114] | | Zulip channel | N/A | + ## Summary This is the formalization and documentation of the Clippy Performance Project, a project first talked about on [Zulip, July 2023](https://rust-lang.zulipchat.com/#narrow/stream/257328-clippy/topic/Clippy's.20performance). As the project consists of several points and is ever-changing, this document also has a dynamic structure and the team can add points. diff --git a/src/2025h1/parallel-front-end.md b/src/2025h1/parallel-front-end.md index f168045..0a07f7e 100644 --- a/src/2025h1/parallel-front-end.md +++ b/src/2025h1/parallel-front-end.md @@ -1,16 +1,17 @@ # Promoting Parallel Front End -| Metadata | | -| --- | --- | -| Point of contact | @SparrowLii | -| Teams | | -| Task owners | | -| Status | Accepted | -| Tracking issue | [rust-lang/rust-project-goals#121] | -| Zulip channel | [#t-compiler/wg-parallel-rustc][channel] | +| Metadata | | +|:-----------------|------------------------------------------| +| Point of contact | @SparrowLii | +| Teams | | +| Task owners | | +| Status | Proposed | +| Tracking issue | [rust-lang/rust-project-goals#121] | +| Zulip channel | [#t-compiler/wg-parallel-rustc][channel] | [channel]: https://rust-lang.zulipchat.com/#narrow/channel/187679-t-compiler.2Fwg-parallel-rustc/ + ## Summary Continue to parallelize front-end stabilization and performance improvements, continuing from the [2024h2 goal](https://rust-lang.github.io/rust-project-goals/2024h2/parallel-front-end.html). diff --git a/src/2025h1/perf-improvements.md b/src/2025h1/perf-improvements.md index f23f833..bcea4db 100644 --- a/src/2025h1/perf-improvements.md +++ b/src/2025h1/perf-improvements.md @@ -1,7 +1,7 @@ # rustc-perf improvements | Metadata | | -|------------------|---------------------| +|:-----------------|---------------------| | Point of contact | @davidtwco | | Teams | | | Task owners | | diff --git a/src/2025h1/pub-priv.md b/src/2025h1/pub-priv.md index 3352e18..0adc785 100644 --- a/src/2025h1/pub-priv.md +++ b/src/2025h1/pub-priv.md @@ -1,7 +1,7 @@ # Stabilize public/private dependencies | Metadata | | -|------------------|-------------------------| +|:-----------------|-------------------------| | Point of contact | @epage | | Teams | | | Task owners | | diff --git a/src/2025h1/pubgrub-in-cargo.md b/src/2025h1/pubgrub-in-cargo.md index d6ba571..1721535 100644 --- a/src/2025h1/pubgrub-in-cargo.md +++ b/src/2025h1/pubgrub-in-cargo.md @@ -1,12 +1,13 @@ # Extend pubgrub to match cargo's dependency resolution -| Metadata | | -|------------------|--------------------| -| Point of contact | @eh2406 | -| Teams | | -| Task owners | | -| Status | Proposed | -| Zulip channel | N/A | +| Metadata | | +|:-----------------|------------------------------------| +| Point of contact | @eh2406 | +| Teams | | +| Task owners | | +| Status | Proposed | +| Tracking issue | [rust-lang/rust-project-goals#110] | +| Zulip channel | N/A | ## Summary diff --git a/src/2025h1/restrictions.md b/src/2025h1/restrictions.md index c932437..292ea3f 100644 --- a/src/2025h1/restrictions.md +++ b/src/2025h1/restrictions.md @@ -1,7 +1,7 @@ # Implement restrictions, prepare for stabilization | Metadata | | -|------------------|-------------------| +|:-----------------|-------------------| | Point of contact | @jhpratt | | Teams | | | Task owners | | diff --git a/src/2025h1/rfl.md b/src/2025h1/rfl.md index 74c76cd..dd15659 100644 --- a/src/2025h1/rfl.md +++ b/src/2025h1/rfl.md @@ -1,17 +1,18 @@ # Stabilize tooling needed by Rust for Linux | Metadata | | -|------------------|------------------------------------| +|:-----------------|------------------------------------| | Short title | Rust-for-Linux | | Point of contact | @nikomatsakis | -| Teams | | -| Task owners | | +| Teams | | +| Task owners | | | Status | Proposed for flagship | | Tracking issue | [rust-lang/rust-project-goals#116] | -| Zulip channel | [#rust-for-linux][channel] | +| Zulip channel | [#rust-for-linux][channel] | [channel]: https://rust-lang.zulipchat.com/#narrow/channel/425075-rust-for-linux/ + ## Summary Continue working towards Rust for Linux on stable, turning focus to compiler and tooling. diff --git a/src/2025h1/rust-vision-doc.md b/src/2025h1/rust-vision-doc.md index 26652e6..9c3a8bc 100644 --- a/src/2025h1/rust-vision-doc.md +++ b/src/2025h1/rust-vision-doc.md @@ -1,7 +1,7 @@ # Rust Vision Document | Metadata | | -|------------------|----------------------| +|:-----------------|----------------------| | Point of contact | @nikomatsakis | | Teams | | | Task owners | | diff --git a/src/2025h1/safe-linking.md b/src/2025h1/safe-linking.md index a574fd8..7a26a34 100644 --- a/src/2025h1/safe-linking.md +++ b/src/2025h1/safe-linking.md @@ -1,7 +1,7 @@ # Research: How to achieve safety when linking separately compiled code | Metadata | | -|------------------|--------------------| +|:-----------------|--------------------| | Point of contact | @m-ou-se | | Teams | | | Task owners | | diff --git a/src/2025h1/seamless-rust-cpp.md b/src/2025h1/seamless-rust-cpp.md index 6cf775e..347b6fd 100644 --- a/src/2025h1/seamless-rust-cpp.md +++ b/src/2025h1/seamless-rust-cpp.md @@ -1,7 +1,7 @@ # Evaluate approaches for seamless interop between C++ and Rust | Metadata | | -|------------------|------------------------------| +|:-----------------|------------------------------| | Point of contact | @tmandry | | Teams | | | Task owners | | diff --git a/src/2025h1/simd-multiversioning.md b/src/2025h1/simd-multiversioning.md index 8316610..ca372d4 100644 --- a/src/2025h1/simd-multiversioning.md +++ b/src/2025h1/simd-multiversioning.md @@ -1,7 +1,7 @@ # Nightly support for ergonomic SIMD multiversioning | Metadata | | -|------------------|-----------------------------------| +|:-----------------|-----------------------------------| | Point of contact | @veluca93 | | Teams | | | Task owners | | diff --git a/src/2025h1/spec-fls-publish.md b/src/2025h1/spec-fls-publish.md index 6c7ad80..0245310 100644 --- a/src/2025h1/spec-fls-publish.md +++ b/src/2025h1/spec-fls-publish.md @@ -1,7 +1,7 @@ # Publish first rust-lang-owned release of "FLS" | Metadata | | -|------------------|--------------------------| +|:-----------------|--------------------------| | Point of contact | @joelmarcey | | Teams | | | Task owners | | diff --git a/src/2025h1/spec-testing.md b/src/2025h1/spec-testing.md index 19cfd0b..cd0be9b 100644 --- a/src/2025h1/spec-testing.md +++ b/src/2025h1/spec-testing.md @@ -1,7 +1,7 @@ # Rust Specification Testing | Metadata | | -|------------------|--------------------| +|:-----------------|--------------------| | Point of contact | @chorman0773 | | Teams | | | Task owners | | diff --git a/src/2025h1/stabilize-project-goal-program.md b/src/2025h1/stabilize-project-goal-program.md index 5479f57..f728346 100644 --- a/src/2025h1/stabilize-project-goal-program.md +++ b/src/2025h1/stabilize-project-goal-program.md @@ -1,7 +1,7 @@ # Run the 2025H1 project goal program | Metadata | | -|------------------|---------------------------| +|:-----------------|---------------------------| | Point of contact | @nikomatsakis | | Teams | | | Task owners | | diff --git a/src/2025h1/stable-mir.md b/src/2025h1/stable-mir.md index 4e79bac..edd0825 100644 --- a/src/2025h1/stable-mir.md +++ b/src/2025h1/stable-mir.md @@ -1,7 +1,7 @@ # Publish first version of StableMIR on crates.io | Metadata | | -|------------------|--------------------------------| +|:-----------------|--------------------------------| | Point of contact | @celinval | | Teams | | | Task owners | | diff --git a/src/2025h1/std-contracts.md b/src/2025h1/std-contracts.md index efa9c39..0dba548 100644 --- a/src/2025h1/std-contracts.md +++ b/src/2025h1/std-contracts.md @@ -1,12 +1,14 @@ # Instrument the Rust standard library with safety contracts -| Metadata | | -|------------------|------------------| -| Point of contact | @celinval | -| Teams | | -| Task owners | | -| Status | Proposed | -| Zulip channel | N/A | +| Metadata | | +|:-----------------|------------------------------------| +| Point of contact | @celinval | +| Teams | | +| Task owners | | +| Status | Proposed | +| Tracking issue | [rust-lang/rust-project-goals#126] | +| Zulip channel | N/A | + ## Summary @@ -86,7 +88,7 @@ unless users opt-in for contract runtime checks. | Task | Owner(s) or team(s) | Notes | |----------------------------|------------------------|-------| | Standard Library Contracts | @celinval, @tautschnig | | -| Writing new contracts | Help wanted | | +| Writing new contracts | ![Help wanted][] | | | Standard reviews | ![Team][] [libs] | | diff --git a/src/2025h1/unsafe-fields.md b/src/2025h1/unsafe-fields.md index d2d57d8..a68eee4 100644 --- a/src/2025h1/unsafe-fields.md +++ b/src/2025h1/unsafe-fields.md @@ -1,7 +1,7 @@ # Unsafe Fields | Metadata | | -|------------------|----------------------| +|:-----------------|----------------------| | Point of contact | @jswrenn | | Teams | | | Task owners | | diff --git a/src/2025h1/verification-and-mirroring.md b/src/2025h1/verification-and-mirroring.md index 19fec1e..d9b8bc6 100644 --- a/src/2025h1/verification-and-mirroring.md +++ b/src/2025h1/verification-and-mirroring.md @@ -1,7 +1,7 @@ # Secure quorum-based cryptographic verification and mirroring for crates.io | Metadata | | -|------------------|-------------------------| +|:-----------------|-------------------------| | Point of contact | @walterhpearce | | Teams | | | Task owners | | diff --git a/src/TEMPLATE.md b/src/TEMPLATE.md index df64486..8ae2f07 100644 --- a/src/TEMPLATE.md +++ b/src/TEMPLATE.md @@ -12,11 +12,12 @@ > or **Proposed, Invited** (if you do not yet). | Metadata | | -|------------------|----------------------------------------------------------------------------------| +|:-----------------|----------------------------------------------------------------------------------| | Point of contact | *must be a single Github username like @ghost* | -| Teams | | -| Task owners | | +| Teams | | +| Task owners | | | Status | Proposed | +| Tracking issue | *if this is a continuing goal, add the old tracking issue, else leave blank* | | Zulip channel | N/A (an existing stream can be re-used or new streams can be created on request) | ## Summary