Skip to content

chore: update slides pdf#18395

Merged
mnkiefer merged 1 commit intomainfrom
re-export-pdf
Feb 25, 2026
Merged

chore: update slides pdf#18395
mnkiefer merged 1 commit intomainfrom
re-export-pdf

Conversation

@mnkiefer
Copy link
Contributor

@mnkiefer mnkiefer commented Feb 25, 2026

  • Re-exported PDF with proper formatting.

@mnkiefer mnkiefer self-assigned this Feb 25, 2026
Copilot AI review requested due to automatic review settings February 25, 2026 19:14
Copy link
Contributor

Copilot AI left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Copilot wasn't able to review any files in this pull request.


💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

@mnkiefer mnkiefer merged commit 0230474 into main Feb 25, 2026
67 checks passed
@mnkiefer mnkiefer deleted the re-export-pdf branch February 25, 2026 19:21
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants