Docs builds

Clarify what the grid interval type refers to (#8529) #3934

Triggered via push October 12, 2023 08:10

DelazJ

master

Status Success

Total duration 15m 41s

Artifacts 2

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

builds.yml

on: push

Matrix: build

Produced during runtime

Name	Size
html build Expired	254 MB
pdf build Expired	170 MB