Code

Build debian package#1036

Code

Merged

rv-jenkins merged 4 commits intomasterruntimeverification/llvm-backend:masterfrom

debian-packageruntimeverification/llvm-backend:debian-packageCopy head branch name to clipboard

Apr 30, 2024

Commits

Commits on Apr 26, 2024

• Build Debian package for the LLVM backend

  Show description for bb5e37c
  Baltoli

  committed
  bb5e37c

  Copy full SHA for bb5e37c

Commits on Apr 29, 2024

• Actually test package

  Baltoli

  committed
  ef22901

  Copy full SHA for ef22901

• Publish Debian package on release

  Baltoli

  committed
  f120af3

  Copy full SHA for f120af3

• Set Version: 0.1.3

  rv-auditor

  committed
  8849858

  Copy full SHA for 8849858