From 9205c9b79d7ecb6cedf7ef80336a7f4121aaee81 Mon Sep 17 00:00:00 2001 From: David Tolnay Date: Thu, 22 May 2025 09:42:07 -0700 Subject: [PATCH] Reproduce issue 153 --- .github/workflows/repro.yml | 18 ++++++++++++++++++ .gitignore | 2 ++ Cargo.toml | 5 +++++ src/main.rs | 1 + 4 files changed, 26 insertions(+) create mode 100644 .github/workflows/repro.yml create mode 100644 .gitignore create mode 100644 Cargo.toml create mode 100644 src/main.rs diff --git a/.github/workflows/repro.yml b/.github/workflows/repro.yml new file mode 100644 index 0000000..fe55909 --- /dev/null +++ b/.github/workflows/repro.yml @@ -0,0 +1,18 @@ +name: Repro + +on: + push: + branches: [repro] + +permissions: + contents: read + +jobs: + repro: + name: Repro + runs-on: ubuntu-latest + timeout-minutes: 45 + steps: + - run: echo 1.85.0 > rust-toolchain + - uses: dtolnay/rust-toolchain@stable + - run: cargo fmt --check diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..e9e2199 --- /dev/null +++ b/.gitignore @@ -0,0 +1,2 @@ +/target/ +/Cargo.lock diff --git a/Cargo.toml b/Cargo.toml new file mode 100644 index 0000000..f8e9543 --- /dev/null +++ b/Cargo.toml @@ -0,0 +1,5 @@ +[package] +name = "repro" +version = "0.0.0" +edition = "2024" +publish = false diff --git a/src/main.rs b/src/main.rs new file mode 100644 index 0000000..f328e4d --- /dev/null +++ b/src/main.rs @@ -0,0 +1 @@ +fn main() {}