Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Remove hotfix of TeX Live Docker image #305

Merged
merged 1 commit into from Jun 5, 2023

Conversation

Witiko
Copy link
Owner

@Witiko Witiko commented May 18, 2023

Closes #298.

@Witiko Witiko added bug docker Related to the Docker image automerge This pull request will be automatically merged after continuous integration has succeeded continuous integration Related to the continuous integration labels May 18, 2023
@Witiko Witiko added this to the 3.0.0 milestone May 18, 2023
@Witiko Witiko marked this pull request as ready for review June 5, 2023 10:12
@Witiko Witiko force-pushed the fix/remove-tex-live-hotfix branch from 93df735 to 3eec91b Compare June 5, 2023 16:46
@github-actions github-actions bot merged commit 7e8b50e into main Jun 5, 2023
8 checks passed
@Witiko Witiko deleted the fix/remove-tex-live-hotfix branch June 6, 2023 13:39
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
automerge This pull request will be automatically merged after continuous integration has succeeded bug continuous integration Related to the continuous integration docker Related to the Docker image
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Remove hotfix of TeX Live Docker image
1 participant