Code

Use Isabelle2024 container for CI#5

Code

Closed

gauravpartha wants to merge 9 commits intomainviperproject/viper-roots:mainfrom isa-container-civiperproject/viper-roots:isa-container-ciCopy head branch name to clipboard

+17-10

Commits

Commits on Jan 23, 2025

• use Isabelle2024 container instead of downloading Isabelle on every CI run

  gauravpartha

  committed
  62fc304

  Copy full SHA for 62fc304

• set root user explicitly for container, since container defines separate user

  Show description for 114697f
  gauravpartha

  committed
  114697f

  Copy full SHA for 114697f

• use checkout@v4 instead of v2

  gauravpartha

  committed
  faf0c58

  Copy full SHA for faf0c58

• check git version

  gauravpartha

  committed
  0268984

  Copy full SHA for 0268984

• check isabelle version

  gauravpartha

  committed
  5473809

  Copy full SHA for 5473809

• fix

  gauravpartha

  committed
  3c1ee45

  Copy full SHA for 3c1ee45

Commits on Jan 25, 2025

• install git since required by checkout action with submodule option

  gauravpartha

  committed
  c48d090

  Copy full SHA for c48d090

• fix

  gauravpartha

  committed
  6459ca7

  Copy full SHA for 6459ca7

• fix

  gauravpartha

  committed
  0b92d40

  Copy full SHA for 0b92d40