From c0aedaf5ad228fd995d4cf78e76b97626d9423ca Mon Sep 17 00:00:00 2001 From: Louis Gesbert Date: Thu, 25 Jan 2024 10:41:51 +0100 Subject: [PATCH] CI: trigger from tags and manually --- .github/workflows/harness.yml | 2 ++ 1 file changed, 2 insertions(+) diff --git a/.github/workflows/harness.yml b/.github/workflows/harness.yml index ad3cbae06..ddf772b94 100644 --- a/.github/workflows/harness.yml +++ b/.github/workflows/harness.yml @@ -3,6 +3,8 @@ name: CI on: push: branches: [master] + tags: ['*.*.*'] + workflow_dispatch: pull_request_target: # It is important to use `pull_request_target` and not `pull_request` here: it # means the version of this file from master is used rather than the one from