Detected upstream Verus rust-toolchain version change

[github-actions]

Detected upstream Verus rust-toolchain version change.

The upstream repo has updated its rust-toolchain channel version.

Automation is halted.

Old version: 1.93.0
New version: 1.93.1
Upstream commit: bab9c83

Please manually update local code before re-running this workflow.

[github-actions]

Updated detection:

Detected upstream Verus rust-toolchain version change.

The upstream repo has updated its rust-toolchain channel version.

Automation is halted.

Old version: 1.93.1
New version: 1.94.0
Upstream commit: a96bad0

Please manually update local code before re-running this workflow.