Code

Bump the all group with 9 updates#244

Code

Merged

fpoli merged 4 commits intomasterviperproject/prusti-assistant:masterfrom dependabot/npm_and_yarn/all-f8145d5a16viperproject/prusti-assistant:dependabot/npm_and_yarn/all-f8145d5a16Copy head branch name to clipboardJan 16, 2024

+235-171

Commits

Commits on Jan 1, 2024

• Bump the all group with 9 updates

  Show description for 5666eac
  dependabot[bot]

  authored
  5666eac

  Copy full SHA for 5666eac

Commits on Jan 3, 2024

• Add new line

  fpoli

  committed
  79d850c

  Copy full SHA for 79d850c

• Fix import error

  fpoli

  committed
  180e507

  Copy full SHA for 180e507

• Downgrade to Chai v4

  fpoli

  committed
  d1a85af

  Copy full SHA for d1a85af