rm: remove pre-commit workflow as it's not needed

This commit is contained in:
Oskar Manhart 2023-07-27 09:42:20 +00:00 committed by GitHub
parent 728861694a
commit 97549bc5ba
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -1,14 +0,0 @@
name: pre-commit-ci-lite
on:
push:
branches: [ "rewrite" ]
pull_request:
branches: [ "rewrite" ]
jobs:
ci:
runs-on: ubuntu-latest
steps:
- uses: pre-commit-ci/lite-action@v1.0.1
if: always()