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

Fix LaTeX in documentation #1448

Merged
merged 1 commit into from
Nov 1, 2023
Merged

Fix LaTeX in documentation #1448

merged 1 commit into from
Nov 1, 2023

Conversation

upsj
Copy link
Member

@upsj upsj commented Nov 1, 2023

No description provided.

@upsj upsj added 1:ST:skip-full-test 1:ST:no-changelog-entry Skip the wiki check for changelog update labels Nov 1, 2023
@upsj upsj requested a review from a team November 1, 2023 00:04
@upsj upsj self-assigned this Nov 1, 2023
@ginkgo-bot ginkgo-bot added mod:core This is related to the core module. type:matrix-format This is related to the Matrix formats labels Nov 1, 2023
Copy link
Member

@thoasm thoasm left a comment

Choose a reason for hiding this comment

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

LGTM!

@upsj upsj modified the milestones: Release 1.6.0, Release 1.7.0 Nov 1, 2023
@upsj upsj added the 1:ST:ready-to-merge This PR is ready to merge. label Nov 1, 2023
@upsj
Copy link
Member Author

upsj commented Nov 1, 2023

rebase!

@upsj upsj merged commit 80613be into develop Nov 1, 2023
11 of 13 checks passed
@upsj upsj deleted the fix_latex branch November 1, 2023 14:13
@ginkgo-bot
Copy link
Member

Error: PR already merged!

Copy link

sonarqubecloud bot commented Nov 2, 2023

Kudos, SonarCloud Quality Gate passed!    Quality Gate passed

Bug A 0 Bugs
Vulnerability A 0 Vulnerabilities
Security Hotspot A 0 Security Hotspots
Code Smell A 0 Code Smells

No Coverage information No Coverage information
No Duplication information No Duplication information

warning The version of Java (11.0.3) you have used to run this analysis is deprecated and we will stop accepting it soon. Please update to at least Java 17.
Read more here

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
1:ST:no-changelog-entry Skip the wiki check for changelog update 1:ST:ready-to-merge This PR is ready to merge. 1:ST:skip-full-test mod:core This is related to the core module. type:matrix-format This is related to the Matrix formats
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants