Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
6 changes: 3 additions & 3 deletions .github/workflows/ci-master.yml
Original file line number Diff line number Diff line change
Expand Up @@ -37,7 +37,7 @@ jobs:

- uses: dtolnay/rust-toolchain@master
with:
toolchain: "1.98.1"
toolchain: "1.99.0"
components: clippy, rustfmt

- uses: Swatinem/rust-cache@v2
Expand Down Expand Up @@ -66,7 +66,7 @@ jobs:

- uses: dtolnay/rust-toolchain@master
with:
toolchain: "1.98.1"
toolchain: "1.99.0"

- uses: Swatinem/rust-cache@v2

Expand Down Expand Up @@ -100,7 +100,7 @@ jobs:

- uses: dtolnay/rust-toolchain@master
with:
toolchain: "1.98.1"
toolchain: "1.99.0"
components: clippy, rustfmt

- uses: Swatinem/rust-cache@v2
Expand Down
12 changes: 6 additions & 6 deletions .github/workflows/proof.yml
Original file line number Diff line number Diff line change
Expand Up @@ -65,7 +65,7 @@ jobs:

- uses: dtolnay/rust-toolchain@master
with:
toolchain: "1.98.1"
toolchain: "1.99.0"
- uses: Swatinem/rust-cache@v2
- name: cargo check
run: cargo check --lib --tests
Expand All @@ -89,7 +89,7 @@ jobs:

- uses: dtolnay/rust-toolchain@master
with:
toolchain: "1.98.1"
toolchain: "1.99.0"
- uses: Swatinem/rust-cache@v2
- name: Run foundation proofs
run: cargo test --test proof_foundation -- --test-threads=1 --show-output
Expand All @@ -113,7 +113,7 @@ jobs:

- uses: dtolnay/rust-toolchain@master
with:
toolchain: "1.98.1"
toolchain: "1.99.0"
- uses: Swatinem/rust-cache@v2
- name: Run reasoning ladder proofs
run: cargo test --test proof_reasoning_ladder -- --test-threads=1 --show-output
Expand All @@ -137,7 +137,7 @@ jobs:

- uses: dtolnay/rust-toolchain@master
with:
toolchain: "1.98.1"
toolchain: "1.99.0"
- uses: Swatinem/rust-cache@v2
- name: Run tactics proofs
run: cargo test --test proof_tactics -- --test-threads=1 --show-output
Expand All @@ -161,7 +161,7 @@ jobs:

- uses: dtolnay/rust-toolchain@master
with:
toolchain: "1.98.1"
toolchain: "1.99.0"
- uses: Swatinem/rust-cache@v2
- name: Run level A gap proofs
run: cargo test --test proof_level_a_gaps -- --test-threads=1
Expand All @@ -185,7 +185,7 @@ jobs:

- uses: dtolnay/rust-toolchain@master
with:
toolchain: "1.98.1"
toolchain: "1.99.0"
- uses: Swatinem/rust-cache@v2
- name: Run all unit tests
run: cargo test --lib -- --test-threads=4
Expand Down
2 changes: 1 addition & 1 deletion Cargo.toml
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,7 @@ exclude = ["vendor"]
name = "ladybug"
version = "0.3.0"
edition = "2024"
rust-version = "1.98.1"
rust-version = "1.99.0"
license = "Apache-2.0"
description = "Crystal Lake: Unified Cognitive Database with 4096 CAM Operations, Quantum-Inspired Operators, and 144 Verb Graph Substrate"
repository = "https://github.com/AdaWorldAPI/ladybug-rs"
Expand Down
2 changes: 1 addition & 1 deletion crates/ladybug-contract/Cargo.toml
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@
name = "ladybug-contract"
version = "0.1.0"
edition = "2024"
rust-version = "1.98.1"
rust-version = "1.99.0"
license = "Apache-2.0"
description = "Substrate types for LadybugDB: Container, CogRecord, CAM codebook, CognitiveAddress"
repository = "https://github.com/AdaWorldAPI/ladybug-rs"
Expand Down
2 changes: 1 addition & 1 deletion rust-toolchain.toml
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
[toolchain]
channel = "1.98.1"
channel = "1.99.0"
Loading