update to pypirc

Signed-off-by: Nikolaj Bjorner <[email protected]>

Author: NikolajBjorner

scripts/release.yml

@@ -139,9 +139,9 @@ jobs:
   - task: DownloadSecureFile@1
     name: pypirc
     inputs:
-      secureFile: 'testpypirc'
+      secureFile: 'pypirc'
   - script: python -m pip install --user -U setuptools wheel twine
-  - script: python -m twine upload --config-file $(oypirc.secureFilePath) -r $(pypiReleaseServer) dist/*
+  - script: python -m twine upload --config-file $(pypirc.secureFilePath) -r $(pypiReleaseServer) dist/*
 
 
 # TBD: run regression tests on generated binaries.