Code

Rust 1.74#2875

Code

Draft

martyall wants to merge 4 commits intodw/merge-back-develop-in-mastero1-labs/proof-systems:dw/merge-back-develop-in-masterfrom martin/rust-1.74o1-labs/proof-systems:martin/rust-1.74Copy head branch name to clipboard

+7-5

Commits

Commits on Dec 12, 2024

• update rust-toolchain to 1.74, use toml file

  martyall

  committed
  bab4def

  Copy full SHA for bab4def

Commits on Dec 13, 2024

• remove references to 1.72

  martyall

  committed
  42c99ce

  Copy full SHA for 42c99ce

• remove support for 1.71 since it's been a while

  martyall

  committed
  2144a27

  Copy full SHA for 2144a27

• restore Makefile

  martyall

  committed
  2fc2324

  Copy full SHA for 2fc2324