Code

Upgrade ci images to ubuntu-22.04#902

Code

Merged

vulder merged 5 commits intovara-devse-sic/VaRA-Tool-Suite:vara-devfrom update-ci-imagesse-sic/VaRA-Tool-Suite:update-ci-imagesCopy head branch name to clipboardFeb 12, 2025

+5-5

Commits

Commits on Feb 6, 2025

• Fixes pre-commit setup

  vulder

  committed
  a6197b5

  Copy full SHA for a6197b5

• Update yapf

  vulder

  committed
  6b06f5d

  Copy full SHA for 6b06f5d

Commits on Feb 12, 2025

• Upgrade ci images to ubuntu-22.04

  Show description for a9b71cc
  vulder

  committed
  a9b71cc

  Copy full SHA for a9b71cc

• Merge remote-tracking branch 'origin/fix-pre-commit-setup' into update-ci-images

  vulder

  committed
  15940bc

  Copy full SHA for 15940bc

• Merge branch 'vara-dev' into update-ci-images

  vulder

  authored
  a127fc7

  Copy full SHA for a127fc7