Merge commit '8830dccd1d' into sync_cg_clif-2023-06-15

This commit is contained in:
bjorn3 2023-06-15 17:56:01 +00:00
parent 2445d740f7
commit 81ea0b29ea
56 changed files with 2511 additions and 592 deletions

View file

@ -1,7 +1,7 @@
#!/usr/bin/env bash
set -e
./y.rs build --no-unstable-features
./y.sh build --no-unstable-features
echo "[SETUP] Rust fork"
git clone https://github.com/rust-lang/rust.git || true