Code

Enable CI for Heph-inbox#597

Code

Merged

Thomasdezeeuw merged 5 commits intomainThomasdezeeuw/heph:mainfrom 580_inbox_ciThomasdezeeuw/heph:580_inbox_ciCopy head branch name to clipboardAug 11, 2023

+44-13

Commits

Commits on Aug 11, 2023

• Add make test_miri

  Show description for d02873f
  Thomasdezeeuw

  committed
  d02873f

  Copy full SHA for d02873f

• Add test-flags to test_sanitizer CI

  Thomasdezeeuw

  committed
  8a9a4ab

  Copy full SHA for 8a9a4ab

• Add a template for testing under miri

  Show description for 6afeea0
  Thomasdezeeuw

  committed
  6afeea0

  Copy full SHA for 6afeea0

• Enable inbox CI again

  Thomasdezeeuw

  committed
  9c6fb21

  Copy full SHA for 9c6fb21

• Add working-directory input to all workflows

  Show description for c49f1f1
  Thomasdezeeuw

  committed
  c49f1f1

  Copy full SHA for c49f1f1