diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 38d2c3a..10cc441 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -2,6 +2,7 @@ name: CI on: pull_request: + workflow_dispatch: push: branches: - main @@ -9,6 +10,10 @@ on: permissions: contents: read +concurrency: + group: ${{ github.workflow }}-${{ github.ref }} + cancel-in-progress: true + jobs: test: permissions: diff --git a/.github/workflows/h2-compliance.yml b/.github/workflows/h2-compliance.yml index ad44e7b..380f737 100644 --- a/.github/workflows/h2-compliance.yml +++ b/.github/workflows/h2-compliance.yml @@ -1,7 +1,6 @@ name: HTTP/2 Compliance on: - pull_request: push: branches: - main diff --git a/rebar.config b/rebar.config index a183e87..509b15f 100644 --- a/rebar.config +++ b/rebar.config @@ -14,7 +14,7 @@ ]}. {project_plugins, [ - covertool, + {covertool, "~> 2.0"}, {rebar3_lint, "~> 4.2"}, {erlfmt, "~> 1.7"}, {rebar3_proper, "~> 0.12"}