Skip to content

.github,tsidp-server: add missing import#153

Merged
mikeodr merged 1 commit into
mainfrom
mikeodr/fix-build
Feb 19, 2026
Merged

.github,tsidp-server: add missing import#153
mikeodr merged 1 commit into
mainfrom
mikeodr/fix-build

Conversation

@mikeodr
Copy link
Copy Markdown
Collaborator

@mikeodr mikeodr commented Feb 19, 2026

This slipped by in a previous PR, fix missing import.
Add build and test to the CI job to prevent it from happening again.

This slipped by in a previous PR, fix missing import.
Add build and test to the CI job to prevent it from happening again.

Signed-off-by: Mike O'Driscoll <mike@unusedbytes.ca>
@mikeodr mikeodr merged commit a179def into main Feb 19, 2026
2 checks passed
@mikeodr mikeodr deleted the mikeodr/fix-build branch February 19, 2026 15:47
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