Skip to content

Update the Rust toolchain to nightly-2023-08-22. - #511

Merged
jrvanwhy merged 1 commit into
tock:masterfrom
jrvanwhy:toolchain-update
Aug 23, 2023
Merged

jrvanwhy merged 1 commit into
tock:masterfrom
jrvanwhy:toolchain-update

Update the Rust toolchain to `nightly-2023-08-22`.

20a1b8b
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs