fix requirements in demo #153
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
name: Testing | |
on: [push, pull_request, workflow_dispatch] | |
jobs: | |
build: | |
runs-on: ubuntu-latest | |
steps: | |
- name: Checkout 🛎️ | |
uses: actions/checkout@v4 | |
- name: Set up Python | |
uses: actions/setup-python@v4 | |
with: | |
python-version: '3.x' | |
- name: Install Dependencies | |
run: | | |
pip install torch | |
pip install pyro-ppl | |
pip install -U pytest pytest-cov | |
ls ./ | |
- name: Testing | |
run: | | |
PYTHONPATH=src/ pytest tests/ --cov=relaxit --cov-report=xml | |
- name: Generate coverage badge | |
run: | | |
python badge_generator.py | |
- name: Check for changes in coverage badge | |
id: check_changes | |
run: | | |
if git diff --exit-code -- coverage-badge.svg; then | |
echo "No changes in coverage badge" | |
echo "::set-output name=changes::false" | |
else | |
echo "Changes detected in coverage badge" | |
echo "::set-output name=changes::true" | |
fi | |
- name: Commit and push coverage badge | |
if: steps.check_changes.outputs.changes == 'true' | |
run: | | |
git config --global user.name 'github-actions[bot]' | |
git config --global user.email 'github-actions[bot]@users.noreply.github.com' | |
git add coverage-badge.svg | |
git commit -m "Update coverage badge" | |
git push origin main |