From 237e1b412a961517a8eb34acbfcc06d9bd8afa60 Mon Sep 17 00:00:00 2001
From: Graham Gower <graham.gower@gmail.com>
Date: Sat, 8 Jan 2022 13:56:51 +0100
Subject: [PATCH] Run docs action for tag pushes.

---
 .github/workflows/docs.yaml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.github/workflows/docs.yaml b/.github/workflows/docs.yaml
index 7abcf855..4038833f 100644
--- a/.github/workflows/docs.yaml
+++ b/.github/workflows/docs.yaml
@@ -4,6 +4,8 @@ on:
   pull_request:
   push:
     branches: [ main ]
+    tags:
+      - '*'
 
 jobs:
   build-docs: