Skip to content
New issue

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

#

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

Already on GitHub? # to your account

Jump to bottom

Another CTIS publication #1475

Merged
merged 1 commit into from
Jun 10, 2024
Merged

Another CTIS publication #1475

merged 1 commit into from
Jun 10, 2024

Conversation

capnrefsmmat
Copy link
Contributor

Feels like a weekly routine at this point. This one didn't even refer to CTIS by name; I just got lucky that it showed up in my Google Scholar recommendations.

Prerequisites:

  • Unless it is a documentation hotfix it should be merged against the dev branch
  • Branch is up-to-date with the branch to be merged with, i.e. dev
  • Build is successful
  • Code is cleaned up and formatted

@capnrefsmmat capnrefsmmat requested a review from melange396 June 10, 2024 17:50
@sonarqubecloud SonarQubeCloud
Copy link

Quality Gate Passed Quality Gate passed

Issues
0 New issues
0 Accepted issues

Measures
0 Security Hotspots
No data about Coverage
No data about Duplication

See analysis details on SonarCloud

@melange396 melange396 merged commit 0917b91 into dev Jun 10, 2024
7 checks passed
@melange396 melange396 deleted the ctis/pub branch June 10, 2024 19:57
@melange396 melange396 mentioned this pull request Jul 9, 2024
Merged
# for free to join this conversation on GitHub. Already have an account? # to comment
Reviewers

@melange396 melange396 melange396 approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@capnrefsmmat @melange396