Cleanup Doc Preview

fix: use updated documentation source for Hecke #2535

Sign in to view logs

Triggered via pull request July 25, 2024 07:45

joschmitt

closed #3971

th/heckedocs

Status Success

Total duration 22s

Artifacts –

CleanupDocPreview.yml

on: pull_request

cleanup-doc-preview