Code

Run VM scripts in the CI#60

Code

Merged

podhrmic merged 9 commits into35-mps-in-pkvmGaloisInc/VERSE-OpenSUT:35-mps-in-pkvmfrom 35-mps-in-pkvm-ciGaloisInc/VERSE-OpenSUT:35-mps-in-pkvm-ciCopy head branch name to clipboardJun 5, 2024

+52-23

Commits

Commits on Jun 5, 2024

• Switch to ubuntu 22.04 runners

  podhrmic

  committed
  1d98dff

  Copy full SHA for 1d98dff

• Attempt to create a vmrunner job

  podhrmic

  committed
  4d0c8b4

  Copy full SHA for 4d0c8b4

• Add cargo project settings

  podhrmic

  committed
  1b07c9b

  Copy full SHA for 1b07c9b

• Add aarch64 toolchain

  podhrmic

  committed
  54f3e63

  Copy full SHA for 54f3e63

• Use sudo:

  podhrmic

  committed
  4f0ceae

  Copy full SHA for 4f0ceae

• Update .github/workflows/main.yml

  Show description for 33d2980
  

  podhrmic

  and

  spernsteiner

  authored
  33d2980

  Copy full SHA for 33d2980

• Store MPS binaries between jobs

  podhrmic

  committed
  21feefc

  Copy full SHA for 21feefc

• Display and move the stored artifacts

  podhrmic

  committed
  c449c85

  Copy full SHA for c449c85

• Make MPS binaries executable

  podhrmic

  committed
  0532051

  Copy full SHA for 0532051