From a896ac81fc72f2965e8d0122562e1b48d2d4c3e4 Mon Sep 17 00:00:00 2001 From: Tobias Stolzmann Date: Tue, 14 Nov 2023 15:46:22 +0100 Subject: [PATCH] Change the minimum supported Rust version to 1.70.0 This change is done to speed up integration since cargo uses the "sparse" protocol for crates.io by default since this version. --- .github/workflows/rust.yml | 2 +- Cargo.toml | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/rust.yml b/.github/workflows/rust.yml index 8adc2d64..16f26a8a 100644 --- a/.github/workflows/rust.yml +++ b/.github/workflows/rust.yml @@ -20,7 +20,7 @@ jobs: - stable - beta - nightly - - 1.67.0 + - 1.70.0 steps: - uses: actions/checkout@v3 diff --git a/Cargo.toml b/Cargo.toml index 32a4bbb1..42d05843 100644 --- a/Cargo.toml +++ b/Cargo.toml @@ -1,7 +1,7 @@ [package] name = "anthem" version = "0.1.0-dev" -rust-version = "1.67.0" +rust-version = "1.70.0" edition = "2021" authors = ["Zach Hansen ", "Tobias Stolzmann "] description = "A translator between answer set programs and first-order logic"