Deploy Documentation

Workflow runs for Deploy Documentation

• Enable cache writes on docs-site branch

  completed successfully:
  Deploy Documentation#4:Commitc1feb2bpushedbymarcphilipp
  docs-site

  Dec 14, 202512m 11s
  More actions for workflow run 4

• Fix git_changes computation

  cancelled:
  Deploy Documentation#3:Commitc957148pushedbymarcphilipp
  docs-site

  Dec 14, 20251m 51s
  More actions for workflow run 3

• Use workflow_dispatch

  failed:
  Deploy Documentation#2:Commit5647822pushedbymarcphilipp
  docs-site

  Dec 14, 202510m 58s
  More actions for workflow run 2

• Rename workflow

  cancelled:
  Deploy Documentation#1:Commit19a31cfpushedbymarcphilipp
  docs-site

  Dec 14, 20252m 55s
  More actions for workflow run 1