Merge pull request #25 from fixpoint/fix

Fix CI
fixpoint · Jul 19, 2023 · 71a5afc · 71a5afc
2 parents 41eaaaa + 3e55512
commit 71a5afc
Showing 1 changed file with 35 additions and 35 deletions.
diff --git a/package-lock.json b/package-lock.json