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.

Sign up for GitHub

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

Jump to bottom

Remove hotfix of TeX Live Docker image #282

Merged
merged 6 commits into from
Apr 27, 2023
Merged

Remove hotfix of TeX Live Docker image #282

merged 6 commits into from
Apr 27, 2023

Conversation

Witiko
Copy link
Owner

@Witiko Witiko commented Mar 27, 2023

Closes #281.

@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 Mar 27, 2023
@Witiko Witiko added this to the 2.22.0 milestone Mar 27, 2023
@Witiko Witiko force-pushed the fix/remove-tex-live-hotfix branch from 6bf4bae to 254f2a0 Compare March 27, 2023 16:09
@Witiko Witiko force-pushed the fix/remove-tex-live-hotfix branch from 254f2a0 to c042b0e Compare March 27, 2023 16:19
@Witiko Witiko modified the milestones: 2.22.0, 2.23.0 Mar 31, 2023
@Witiko Witiko force-pushed the main branch 2 times, most recently from cae72a1 to 5a3d0fe Compare April 2, 2023 21:46
@Witiko Witiko force-pushed the fix/remove-tex-live-hotfix branch from 3e9be39 to af98d48 Compare April 14, 2023 11:35
@Witiko Witiko removed the automerge This pull request will be automatically merged after continuous integration has succeeded label Apr 27, 2023
@Witiko Witiko force-pushed the fix/remove-tex-live-hotfix branch from af0a833 to faed2a1 Compare April 27, 2023 12:41
@Witiko Witiko added the automerge This pull request will be automatically merged after continuous integration has succeeded label Apr 27, 2023
@Witiko Witiko mentioned this pull request Apr 27, 2023
Closed
@github-actions github-actions bot merged commit 8bbc5a1 into main Apr 27, 2023
@Witiko Witiko deleted the fix/remove-tex-live-hotfix branch April 27, 2023 13:31
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
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
Milestone
2.23.0
Development

Successfully merging this pull request may close these issues.

Remove hotfix of TeX Live Docker image
1 participant
@Witiko