Skip to content

New CTIS publication - #1746

Merged
nmdefries merged 1 commit into
devfrom
ctis/pubs
Aug 4, 2026
Merged

New CTIS publication#1746
nmdefries merged 1 commit into
devfrom
ctis/pubs

Conversation

@capnrefsmmat

Copy link
Copy Markdown
Contributor

New publication; update a couple previous ones.

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

New publication; update a couple previous ones.
@sonarqubecloud

Copy link
Copy Markdown

@nmdefries
nmdefries self-requested a review May 12, 2026 21:16
@nmdefries
nmdefries merged commit 822624d into dev Aug 4, 2026
8 checks passed
@nmdefries
nmdefries deleted the ctis/pubs branch August 4, 2026 17:16
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants