Get rid of the Union (#6246)

* Get rid of the Union

* updating DIRECTORY.md

* Get rid of the Union

* Remove the redundant pre-commit runs.

Co-authored-by: github-actions <${GITHUB_ACTOR}@users.noreply.github.com>
This commit is contained in:
Christian Clauss
2022-07-11 13:11:17 +02:00
committed by GitHub
parent ba129de7f3
commit dad789d903
3 changed files with 7 additions and 3 deletions

View File

@ -1,6 +1,10 @@
name: pre-commit
on: [push, pull_request]
on:
push:
branches: [ master ]
pull_request:
branches: [ master ]
jobs:
pre-commit: