Skip to content

Rename wc to goal - #453

Open
System625 wants to merge 2 commits into
rust-lang:mainfrom
System625:rename-wc-to-goal
Open

Rename wc to goal#453
System625 wants to merge 2 commits into
rust-lang:mainfrom
System625:rename-wc-to-goal

Rename the `prove_wc` judgments to `prove_goal`

7eeac9e
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
rust-test (macos-latest)
succeeded Aug 20, 2026 in 13m 56s