Code

Run cargo fmt#1456

Code

Merged

fpoli merged 2 commits intoviperproject:masterviperproject/prusti-dev:masterfrom JakuJ:cargo-fmtJakuJ/prusti-dev:cargo-fmtCopy head branch name to clipboardSep 27, 2023

+2,822-2,334

Commits

Commits on Sep 15, 2023

• Run cargo fmt

  JakuJ

  committed
  f06d119

  Copy full SHA for f06d119

Commits on Sep 27, 2023

• Update x.py to run fmt/clippy in all workspaces

  fpoli

  committed
  dd13d6c

  Copy full SHA for dd13d6c