Back to pull request #735

Disable PDF docs build #1081

Sign in to view logs

Summary
Jobs
- publish
Run details
- Usage
- Workflow file

Triggered via pull request August 11, 2023 12:42

glatterf42

opened #735

fix/remove-pdf-docs

Status Success

Total duration 1m 3s

Artifacts –

publish.yaml

on: pull_request

publish / publish