Don't use mavenix any more

runtimeverification · Dec 10, 2023 · 9870e75 · 9870e75
1 parent 3b1131d
commit 9870e75
Showing 1 changed file with 0 additions and 50 deletions.
diff --git a/.github/workflows/update.yml b/.github/workflows/update.yml