Skip to content

Merge remote-tracking branch 'origin/main' into main #72

Merge remote-tracking branch 'origin/main' into main

Merge remote-tracking branch 'origin/main' into main #72

name: Coverage check
on: [push, pull_request]
jobs:
lint:
name: Code coverage
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
with:
fetch-depth: 2
- name: Use Node.js
uses: actions/setup-node@v3
with:
node-version: '18.13.0'
- name: Install Dependencies
run: npm ci
- name: Test build
run: npm run build-no-tsc --if-present
- name: Run tests
run: npm test
- name: Set up Python 3.9
uses: actions/setup-python@v4
with:
python-version: "3.9"
- name: PIP install
run: |
pip3 install -r requirements.txt
pip3 install coverage django_coverage_plugin
- name: Python unittest
continue-on-error: true
run: |
coverage run -m unittest discover tests/
- name: Generate coverage report
continue-on-error: true
run: |
coverage report -m
coverage json
- name: Coverage check on pull_request
uses: velis74/incremental-coverage-check@main
with:
clover_coverage_json: vue/dynamicforms/coverage/coverage-final.json
py_coverage_json: coverage.json
logging_level: INFO
base_ref: ${{ github.base_ref }}
head_ref: HEAD
rep_ref: main
gh_token: ${{ secrets.GITHUB_TOKEN }}
if: github.event_name == 'pull_request'
- name: Coverage check on push
uses: velis74/incremental-coverage-check@main
with:
clover_coverage_json: vue/dynamicforms/coverage/coverage-final.json
py_coverage_json: coverage.json
logging_level: INFO
base_ref: ${{ github.event.before }}
head_ref: HEAD
rep_ref: main
if: github.event_name == 'push'