Remove Antithesis docker build workflow (#4642)

## Issue Addressed This PR remove Antithesis docker build CI workflow. Confirmed with Antithesis team that this is no longer used.
sigp · Aug 21, 2023 · f92b856 · f92b856
1 parent 91f3bc2
commit f92b856
Show file tree

Hide file tree

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