Remove Antithesis docker build workflow (sigp#4642)

This PR remove Antithesis docker build CI workflow. Confirmed with Antithesis team that this is no longer used.
Woodpile37 · Jan 6, 2024 · 1dde188 · 1dde188
1 parent 35cff0d
commit 1dde188
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 35 deletions.
diff --git a/.github/workflows/docker-antithesis.yml b/.github/workflows/docker-antithesis.yml
diff --git a/testing/antithesis/libvoidstar/libvoidstar.so b/testing/antithesis/libvoidstar/libvoidstar.so