Skip to content

chore(deps-dev): bump pre-commit from 3.3.3 to 3.4.0 #1676

chore(deps-dev): bump pre-commit from 3.3.3 to 3.4.0

chore(deps-dev): bump pre-commit from 3.3.3 to 3.4.0 #1676

Workflow file for this run

name: Test
on:
push:
branches:
- main
pull_request:
jobs:
test:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
- name: Install poetry
run: pipx install poetry
- name: Set up Python
uses: actions/setup-python@v4
with:
python-version-file: ".python-version"
cache: "poetry"
- name: Install dependencies
run: poetry install
- name: Run tests
run: poetry run pytest --cov=./ --cov-report=xml draco
- name: Check types
run: make typecheck
- name: Check Poetry
run: make check
- name: Size of Grounded Programs
run: make grounding-size
- name: Upload coverage to Codecov
uses: codecov/codecov-action@v3.1.4
with:
fail_ci_if_error: true
test-docker:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
- name: Build docker image
run: docker build -t draco .
- name: Run all make targets
run: docker run --rm draco bash -c "make"
automerge:
needs:
- test
- test-docker
runs-on: ubuntu-latest
permissions:
pull-requests: write
contents: write
steps:
- name: Merge pull requests
uses: fastify/github-action-merge-dependabot@v3.9.1
with:
github-token: ${{ secrets.GITHUB_TOKEN }}
target: minor