Merge pull request #24 from m-carrasco/fix-typos

Remove unused files and fix typos in README.

.github/workflows/build.yml

@@ -35,7 +35,7 @@ jobs:
       # only do it when it hits the default branch 
       # this artifact is consumed by the release job
       if: ${{ github.event_name == 'push' && github.ref == 'refs/heads/main' }}
-      uses: actions/upload-artifact@v3
+      uses: actions/upload-artifact@v4
       with:
         name: ssa-query-macos-x86-64-arm64
         path: ${{ github.workspace }}/souffle/bin/macos-x86-64-arm64/ssa-query-macos-x86-64-arm64
@@ -135,7 +135,7 @@ jobs:
       run: |
         cd $GITHUB_WORKSPACE/souffle && rm -r bin/ && ./build-all-with-docker.sh
     - name: Fetch macos binary
-      uses: actions/download-artifact@master
+      uses: actions/download-artifact@v4
       with:
         name: ssa-query-macos-x86-64-arm64
         path: ${{ github.workspace }}/souffle/bin/macos-x86-64-arm64/

README.md

@@ -44,15 +44,15 @@ It is possible to develop and test `net-ssa` without installing any dependency i
 2. `cd net-ssa`
 3. `git lfs checkout`
     * Install [git lfs](https://git-lfs.github.com/)
-4. `./scripts/build-image.sh`
-5. `./scripts/tmp-container.sh`
+4. `./ci/build-image.sh`
+5. `./ci/tmp-container.sh`
    * This is now an interactive and temporary container. 
    * The host's folder containing the repository is shared with the container. In the container, this is located at `/home/ubuntu/net-ssa/`.
 6. Introduce changes in the source code using your IDE as usual.
 7. Build and test in the container, execute these commands in the container terminal:
    * `dotnet build`
    * `dotnet test` 
- * `lit integration-test/ -vvv`
+   * `lit integration-test/ -vvv`
 
 ## Build from sources