add 13 to package doc build (#3073)

This commit is contained in:
Don Naro
2025-09-25 08:19:52 +01:00
committed by GitHub
parent cae38cda0a
commit c41e76ae49

View File

@@ -28,6 +28,7 @@ name: Build and deploy docs
default: devel
options:
- devel
- '13'
- '12'
- '11'
- '10'