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 #1464

Merged
merged 1 commit into from
Jun 3, 2024
Merged

Another CTIS publication #1464

merged 1 commit into from
Jun 3, 2024

Conversation

capnrefsmmat
Copy link
Contributor

As usual.

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 3, 2024 14:55
@sonarqubecloud SonarQubeCloud
Copy link

sonarqubecloud bot commented Jun 3, 2024

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 5e7a05c into dev Jun 3, 2024
7 checks passed
@melange396 melange396 deleted the ctis/pub branch June 3, 2024 15:00
@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