From 81ba9185544563d72febae66de7a718eb48320f3 Mon Sep 17 00:00:00 2001 From: "Victor M. Alvarez" Date: Fri, 24 Jun 2022 10:54:04 +0200 Subject: [PATCH] Fix branch name in Coverity workflow. --- .github/workflows/coverity.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/coverity.yml b/.github/workflows/coverity.yml index 4ce39516..9a16ae4b 100644 --- a/.github/workflows/coverity.yml +++ b/.github/workflows/coverity.yml @@ -2,7 +2,7 @@ name: Coverity on: push: - branches: [main] + branches: [master] jobs: coverity: