Add Docker Hub credentials to GitHub Actions workflow (#142)

* Add Docker Hub credentials to GitHub Actions workflow
* Rename CI workflows for clarity: update 'CI' to 'CI-PR' in pr.yml and 'CI' to 'CI-Push' in push.yml

Author: tal-haim

.github/workflows/pr.yml

@@ -12,7 +12,7 @@
 # See the License for the specific language governing permissions and
 # limitations under the License.
 #
-name: CI
+name: CI-PR
 
 on: 
   pull_request_target:
@@ -41,6 +41,9 @@ jobs:
     runs-on: [ self-hosted, Linux ]
     container:
       image: python:3.9.18
+      credentials:
+        username: ${{ secrets.DOCKERHUB_USERNAME }}
+        password: ${{ secrets.DOCKERHUB_TOKEN_PUBLIC }}
 
     steps:
       - uses: actions/checkout@v3

.github/workflows/push.yml

@@ -12,7 +12,7 @@
 # See the License for the specific language governing permissions and
 # limitations under the License.
 #
-name: CI
+name: CI-Push
 
 on: push