Skip to content

Regression | Generate #10

Regression | Generate

Regression | Generate #10

name: Regression | Generate
on:
workflow_dispatch:
jobs:
generate-ubuntu:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- name: Install dependencies
run: |
sudo apt update
sudo apt install -y gcc-9 gcc-10 gcc-11 gcc-12
- name: Install CWhy
run: |
python3 -m pip install --upgrade pip
python3 -m pip install .
- name: Generate current prompts
run: python3 tests/regression.py --platform ubuntu --generate
- name: Commit
run: |
git config user.name github-actions
git config user.email [email protected]
git switch -c bot/regression/ubuntu
if [[ `git status --porcelain` ]]; then
git add tests/.regression
git commit -m "[bot][ubuntu] Generate current state of CWhy prompts"
fi
git push origin --delete bot/regression/ubuntu || true
git push origin bot/regression/ubuntu
generate-macos:
runs-on: macos-latest
steps:
- uses: actions/checkout@v4
- name: Install CWhy
run: |
python3 -m pip install --upgrade pip
python3 -m pip install .
- name: Generate current prompts
run: python3 tests/regression.py --platform macos --generate
- name: Commit
run: |
git config user.name github-actions
git config user.email [email protected]
git switch -c bot/regression/macos
if [[ `git status --porcelain` ]]; then
git add tests/.regression
git commit -m "[bot][macos] Generate current state of CWhy prompts"
fi
git push origin --delete bot/regression/macos || true
git push origin bot/regression/macos
generate-windows:
runs-on: windows-latest
steps:
- uses: actions/checkout@v4
- name: Install CWhy
run: |
python3 -m pip install --upgrade pip
python3 -m pip install .
- name: Generate current prompts
run: python3 tests/regression.py --platform windows --generate
- name: Commit
run: |
git config user.name github-actions
git config user.email [email protected]
git switch -c bot/regression/windows
$status = git status --porcelain
if (!$status) {
git add tests/.regression
git commit -m "[bot][windows] Generate current state of CWhy prompts"
}
git push origin --delete bot/regression/windows || true
git push origin bot/regression/windows
create-pull-request:
needs: [generate-ubuntu, generate-macos, generate-windows]
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- name: Merge branches
run: |
git switch -c bot/regression
git pull --rebase origin bot/regression/ubuntu
git pull --rebase origin bot/regression/macos
git pull --rebase origin bot/regression/windows
git push origin --delete bot/regression || true
git push origin --delete bot/regression/ubuntu
git push origin --delete bot/regression/macos
git push origin --delete bot/regression/windows
git push origin bot/regression
- name: Create pull request
run: |
curl -L \
-X POST \
-H "Accept: application/vnd.github+json" \
-H "Authorization: Bearer ${{secrets.GITHUB_TOKEN}}" \
-H "X-GitHub-Api-Version: 2022-11-28" \
https://api.github.com/repos/plasma-umass/cwhy/pulls \
-d '{"title":"[bot] Generate current state of CWhy prompts","body":"Timestamp: ${{github.event.repository.updated_at}}","head":"bot/regression","base":"main"}'