Skip to content

Commit

Permalink
[ci] Enhancement: Experimental CatpowderW Pipeline
Browse files Browse the repository at this point in the history
  • Loading branch information
ppenna committed Jun 19, 2024
1 parent 4203bd2 commit 48998f9
Showing 1 changed file with 95 additions and 0 deletions.
95 changes: 95 additions & 0 deletions .github/workflows/catnapw.yml
Original file line number Diff line number Diff line change
Expand Up @@ -124,3 +124,98 @@ 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 \
--debug \
--delay 2
- name: Archive Logs
if: always()
uses: actions/upload-artifact@v4
with:
name: release-pipeline-logs
path: |
**/*.stdout.txt
**/*.stderr.txt
catpowder-release-pipeline:
name: Catpowder Release Pipeline
needs: catpowder-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 \
--delay 2
- name: Archive Logs
if: always()
uses: actions/upload-artifact@v4
with:
name: release-pipeline-logs
path: |
**/*.stdout.txt
**/*.stderr.txt

0 comments on commit 48998f9

Please sign in to comment.