Code

Remove non-endorsement note#227

Code

Merged

carolynzech merged 3 commits intomodel-checking:mainmodel-checking/verify-rust-std:mainfrom tautschnig:foundationtautschnig/verify-rust-std:foundationCopy head branch name to clipboardDec 16, 2024

+2-3

Commits

Commits on Dec 12, 2024

• Remove non-endorsement note

  Show description for 86fe204
  tautschnig

  committed
  86fe204

  Copy full SHA for 86fe204

Commits on Dec 16, 2024

• Merge remote-tracking branch 'origin/main' into foundation

  tautschnig

  committed
  05484b8

  Copy full SHA for 05484b8

• Add link to Rust Foundation announcement

  tautschnig

  committed
  2e84eaf

  Copy full SHA for 2e84eaf