Skip to content

Conversation

user202729
Copy link
Contributor

@user202729 user202729 commented Aug 16, 2025

--include is probably not POSIX compliant, but this script is only ran on CI anyway.

📝 Checklist

  • The title is concise and informative.
  • The description explains in detail what this PR is about.
  • I have linked a relevant issue or discussion.
  • I have created tests covering the changes.
  • I have updated the documentation and checked the documentation preview.

⌛ Dependencies

#40589

@user202729
Copy link
Contributor Author

Related: #40589

Copy link

github-actions bot commented Aug 16, 2025

Documentation preview for this PR (built with commit 8418e79; changes) is ready! 🎉
This preview will update shortly after each push to this PR.

@user202729 user202729 force-pushed the ci-doc-build-pdf-check-missing branch 2 times, most recently from 3f01baa to 8cdac29 Compare August 16, 2025 07:50
@user202729 user202729 marked this pull request as ready for review August 16, 2025 10:55
@user202729 user202729 requested a review from vbraun August 16, 2025 11:47
@user202729 user202729 marked this pull request as draft August 21, 2025 20:27
@user202729 user202729 force-pushed the ci-doc-build-pdf-check-missing branch from 8cdac29 to aafab75 Compare August 28, 2025 11:52
@user202729 user202729 marked this pull request as ready for review August 31, 2025 05:26
@user202729 user202729 requested a review from tobiasdiez August 31, 2025 05:26
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant