Skip to content

Another CTIS publication #1440

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
Merged
merged 1 commit into from
May 17, 2024
Merged

Another CTIS publication #1440

merged 1 commit into from
May 17, 2024

Conversation

@capnrefsmmat
Copy link
Contributor

@capnrefsmmat capnrefsmmat commented May 17, 2024

As per 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 May 17, 2024 13:56
@sonarqubecloud
Copy link

sonarqubecloud bot commented May 17, 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 d4b10d0 into dev May 17, 2024
@melange396 melange396 deleted the ctis/pubs branch May 17, 2024 19:00
@melange396 melange396 mentioned this pull request May 18, 2024
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in 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.

3 participants

@capnrefsmmat @melange396