The Shadow CI environment has hard-coded versions of some tools. These versions should be periodically updated, and any compatibility issues fixed.

• rust default stable version (rust-toolchain.toml)
• rust nightly version for coverage builds (ci/container_scripts/install_extra_deps.sh — RUST_TOOLCHAIN)
• rust nightly version for miri tests (.github/workflows/sanitizers.yml)
• python version for the python lint (.github/workflows/lint.yml)
• tor and tgen versions for the tor tests (.github/workflows/run_tor.yml)

Shadow's dependencies may also need to be updated.

# "cargo upgrade" won't update the lock file for all
# dependencies, so "cargo update" is also needed
cd src && cargo upgrade --incompatible && cargo update

This issue is automatically generated every 4 months by the workflow "CI Maintenance".