From a4f1e38e88371f1b260d997bc06e952e99078ef7 Mon Sep 17 00:00:00 2001 From: Pedro Henrique Penna Date: Tue, 18 Jun 2024 14:35:39 -0700 Subject: [PATCH] [ci] Enhancement: Experimental CatpowderW Pipeline --- .github/workflows/catnapw.yml | 101 ++++++++++++++++++++++++++++++++++ 1 file changed, 101 insertions(+) diff --git a/.github/workflows/catnapw.yml b/.github/workflows/catnapw.yml index 00f192ecb..15479273d 100644 --- a/.github/workflows/catnapw.yml +++ b/.github/workflows/catnapw.yml @@ -124,3 +124,104 @@ jobs: path: | **/*.stdout.txt **/*.stderr.txt + + catpowder-debug-pipeline: + name: Catpowder Debug Pipeline + needs: release-pipeline + runs-on: ubuntu-latest + steps: + - name: Checkout + uses: actions/checkout@v4 + with: + fetch-depth: 0 + - name: Setup SSH + shell: bash + run: | + mkdir -p $HOME/.ssh/ + echo "${{ secrets.SSHKEY }}" > "$HOME/.ssh/id_rsa" + chmod 400 $HOME/.ssh/id_rsa + echo "Host *" > $HOME/.ssh/config + echo -e "\tStrictHostKeyChecking no" >> $HOME/.ssh/config + echo -e "\tIdentityFile $HOME/.ssh/id_rsa" >> $HOME/.ssh/config + echo -e "\tIdentitiesOnly yes" >> $HOME/.ssh/config + echo -e "\tPasswordAuthentication no" >> $HOME/.ssh/config + echo -e "\tUser ${{ secrets.USERNAME }}" >> $HOME/.ssh/config + echo -e "\tPort ${{ secrets.PORTNUM }}" >> $HOME/.ssh/config + - name: Run + run: | + if [[ "${{ github.event_name }}" == "pull_request" ]]; then + branch_name="${{ github.head_ref }}" + else + branch_name="${{ github.ref_name }}" + fi + python3 tools/demikernel_ci.py \ + --platform windows \ + --server $SERVER \ + --client $CLIENT \ + --repository 'c:\demikernel' \ + --config-path 'c:\config.yaml' \ + --branch origin/$branch_name \ + --libos catpowder \ + --test-unit --test-integration --test-system all \ + --debug \ + --delay 2 \ + --server-addr $SERVER_ADDR \ + --client-addr $CLIENT_ADDR + - name: Archive Logs + if: always() + uses: actions/upload-artifact@v4 + with: + name: catpowder-debug-pipeline-logs + path: | + **/*.stdout.txt + **/*.stderr.txt + + catpowder-release-pipeline: + name: Catpowder Release Pipeline + needs: catpowder-debug-pipeline + runs-on: ubuntu-latest + steps: + - name: Checkout + uses: actions/checkout@v4 + with: + fetch-depth: 0 + - name: Setup SSH + shell: bash + run: | + mkdir -p $HOME/.ssh/ + echo "${{ secrets.SSHKEY }}" > "$HOME/.ssh/id_rsa" + chmod 400 $HOME/.ssh/id_rsa + echo "Host *" > $HOME/.ssh/config + echo -e "\tStrictHostKeyChecking no" >> $HOME/.ssh/config + echo -e "\tIdentityFile $HOME/.ssh/id_rsa" >> $HOME/.ssh/config + echo -e "\tIdentitiesOnly yes" >> $HOME/.ssh/config + echo -e "\tPasswordAuthentication no" >> $HOME/.ssh/config + echo -e "\tUser ${{ secrets.USERNAME }}" >> $HOME/.ssh/config + echo -e "\tPort ${{ secrets.PORTNUM }}" >> $HOME/.ssh/config + - name: Run + run: | + if [[ "${{ github.event_name }}" == "pull_request" ]]; then + branch_name="${{ github.head_ref }}" + else + branch_name="${{ github.ref_name }}" + fi + python3 tools/demikernel_ci.py \ + --platform windows \ + --server $SERVER \ + --client $CLIENT \ + --repository 'c:\demikernel' \ + --config-path 'c:\config.yaml' \ + --branch origin/$branch_name \ + --libos catpowder \ + --test-unit --test-integration --test-system all \ + --delay 2 \ + --server-addr $SERVER_ADDR \ + --client-addr $CLIENT_ADDR + - name: Archive Logs + if: always() + uses: actions/upload-artifact@v4 + with: + name: catpowder-release-pipeline-logs + path: | + **/*.stdout.txt + **/*.stderr.txt