diff --git a/.github/workflows/build-package-docs.yaml b/.github/workflows/build-package-docs.yaml
index c9b9b89620..566c1f7721 100644
--- a/.github/workflows/build-package-docs.yaml
+++ b/.github/workflows/build-package-docs.yaml
@@ -28,6 +28,7 @@ name: Build and deploy docs
         default: devel
         options:
         - devel
+        - '13'
         - '12'
         - '11'
         - '10'