Update README.md

README.md

@@ -10,7 +10,7 @@ Note that only certain SMT solvers are supported on these pre-built releases. On
 
 ```
 - name: Run ESBMC
-  uses: Goblin57/esbmc-action@vx
+  uses: esbmc/esbmc-action@vx
 ```
 (Replace 'x' with the desired version of this action).
 
@@ -78,7 +78,7 @@ jobs:
         steps:
             - name: Run ESBMC Action
               id: esbmc-action
-              uses: Goblin57/esbmc-action@v1
+              uses: esbmc/esbmc-action@v1
               with:
                 esbmc-options: "--incremental-bmc --quiet --color --file-output out.txt --verbosity 4"
                 create-artifact: y
@@ -96,4 +96,4 @@ This action may create the FILE_DIFF, GOTO_FILENAME, NOSPACE_GOTO_FILENAME, OUTP
 
 The FILE_DIFF variable is created if the git diff is used. Each "FILENAME" variable is created if its corresponding output file-creating option is used in the "esbmc-options" input.
 
-This action also uses the GITHUB_ENV and GITHUB_WORKSPACE environment variables.
+This action also uses the GITHUB_ENV and GITHUB_WORKSPACE environment variables.