Merge pull request #2175 from souffle-lang/XiaowenHu96-patch-2-1

Fix packaging

Author: XiaowenHu96

.github/workflows/create-packages.yml

@@ -65,9 +65,7 @@ jobs:
       - name: Packaging
         run: |-
           cd build && 
-          PACKAGECLOUD_TOKEN=${{ secrets.PACKAGECLOUD_TOKEN }} 
-          package_cloud push souffle-lang/souffle/${{ matrix.OS-name }} 
-          ${{ steps.extract_pkg.outputs.pkg_name }}
+          PACKAGECLOUD_TOKEN=${{ secrets.PACKAGECLOUD_TOKEN }} package_cloud push souffle-lang/souffle/${{ matrix.OS-name }} ${{ steps.extract_pkg.outputs.pkg_name }}
       
   Arch-Package-Build:
     runs-on: ubuntu-latest
@@ -93,9 +91,16 @@ jobs:
           -t package_builder
 
       - name: Setup Credentials
-        uses: webfactory/ssh-agent@v0.5.3
+        uses: shimataro/ssh-key-action@v2
         with:
-           ssh-private-key: ${{ secrets.AUR_PRIVATE_KEY }}
+           key: ${{ secrets.AUR_PRIVATE_KEY }}
+           name: aur
+           known_hosts: ${{ secrets.AUR_KNOWN_HOSTS }}
+           config: |
+              Host aur.archlinux.org
+              IdentityFile ~/.ssh/aur
+              User aur
+
 
       - name: Upload
         run: |-