m

Author: ajewellamz

.github/workflows/ci_test_vector_net.yml

@@ -53,7 +53,7 @@ jobs:
         working-directory: ./TestVectors
         run: |
           # this is evil, but the MPL test vectors defines an extra Main
-          sed -i '' 's/method Main/method NotMain/' ../submodules/MaterialProviders/TestVectorsAwsCryptographicMaterialProviders/dafny/TestVectorsAwsCryptographicMaterialProviders/src/Index.dfy
+          sed -i "" "s/method Main/method NotMain/" ../submodules/MaterialProviders/TestVectorsAwsCryptographicMaterialProviders/dafny/TestVectorsAwsCryptographicMaterialProviders/src/Index.dfy
           # This works because `node` is installed by default on GHA runners
           make transpile_net