Skip to content

Revert "Add PR codeql test"#76

Merged
JPVenson merged 1 commit intomasterfrom
revert-72-feature/buildTools
Aug 3, 2025
Merged

Revert "Add PR codeql test"#76
JPVenson merged 1 commit intomasterfrom
revert-72-feature/buildTools

Conversation

@JPVenson
Copy link
Member

@JPVenson JPVenson commented Aug 3, 2025

Reverts #72

@JPVenson JPVenson merged commit a538b9d into master Aug 3, 2025
1 check passed
@TimGels
Copy link
Member

TimGels commented Aug 3, 2025

Was worth the test.

@JPVenson JPVenson deleted the revert-72-feature/buildTools branch August 4, 2025 11:18
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