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

Newer CTIS publication #1258

Merged
merged 1 commit into from
Aug 11, 2023
Merged

Newer CTIS publication #1258

merged 1 commit into from
Aug 11, 2023

Conversation

capnrefsmmat
Copy link
Contributor

They just keep coming.

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 review from a team and nmdefries and removed request for a team August 10, 2023 18:49
@sonarqubecloud
Copy link

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

@nmdefries nmdefries merged commit 652a771 into dev Aug 11, 2023
@nmdefries nmdefries deleted the ctis/newer-pub branch August 11, 2023 17:01
@melange396 melange396 mentioned this pull request Aug 17, 2023
Merged
# for free to join this conversation on GitHub. Already have an account? # to comment
Reviewers

@nmdefries nmdefries nmdefries 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 @nmdefries