Skip to content

SUBMISSION-204: Fix KeyError when tex2pdf log isn't named main.log. #89

Merged
DavidLFielding merged 1 commit into
developfrom
SUBMISSION-204-tex2pdf-log-key
Jul 16, 2026
Merged

SUBMISSION-204: Fix KeyError when tex2pdf log isn't named main.log. #89
DavidLFielding merged 1 commit into
developfrom
SUBMISSION-204-tex2pdf-log-key

Conversation

@DavidLFielding

Copy link
Copy Markdown
Contributor

Fix KeyError when tex2pdf log isn't named main.log. Don't hardcode 'main.log' key in tex2pdf outcome parsing.

…ain.log' key in tex2pdf outcome parsing. [SUBMISSION-104] David
@DavidLFielding
DavidLFielding requested a review from bdc34 July 16, 2026 19:10
@DavidLFielding DavidLFielding self-assigned this Jul 16, 2026
@DavidLFielding DavidLFielding changed the title SUBMISSION-104: Fix KeyError when tex2pdf log isn't named main.log. SUBMISSION-204: Fix KeyError when tex2pdf log isn't named main.log. Jul 16, 2026
@DavidLFielding
DavidLFielding merged commit 1b40278 into develop Jul 16, 2026
1 check passed
@DavidLFielding
DavidLFielding deleted the SUBMISSION-204-tex2pdf-log-key branch July 16, 2026 19:41
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