Skip to content

Change nicks of bots for Vagrant #58

Change nicks of bots for Vagrant

Change nicks of bots for Vagrant #58

Workflow file for this run

---
name: pre-commit
on: # yamllint disable-line
- push
- pull_request
jobs:
build:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
- uses: actions/setup-python@v4
- uses: pre-commit/[email protected]