rubocop merged into devel

This commit is contained in:
Karel Pičman 2023-05-22 13:59:19 +02:00
parent 9eb6892e82
commit 2a9412f596

View File

@ -21,9 +21,9 @@
name: "GitHub CI" name: "GitHub CI"
on: on:
push: push:
branches: ["rubocop"] branches: ["devel"]
pull_request: pull_request:
branches: ["rubocop"] branches: ["devel"]
jobs: jobs:
plugin_tests: plugin_tests:
strategy: strategy: