Removing old move prover workflow (MystenLabs#7963)

Since MystenLabs#7961 has landed, we don't need a separate workflow
qiwihui · Feb 1, 2023 · 8b2a47e · 8b2a47e
1 parent c7f0c61
commit 8b2a47e
Showing 1 changed file with 0 additions and 42 deletions.
diff --git a/.github/workflows/move-prover.yml b/.github/workflows/move-prover.yml