Skip to content

Remove Jenkinsfile - #125

Merged
ghackett merged 2 commits into
mainfrom
remove-jenkinsfile
Jul 12, 2026
Merged

Remove Jenkinsfile#125
ghackett merged 2 commits into
mainfrom
remove-jenkinsfile

Conversation

@ghackett

Copy link
Copy Markdown
Member

Removes the Jenkinsfile — Jenkins is no longer used for CI in this repo.

🤖 Generated with Claude Code

https://claude.ai/code/session_01Bgr7V54E7imT27eT5DfAeh

ghackett and others added 2 commits July 11, 2026 17:39
Jenkins is no longer used for CI in this repo.

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01Bgr7V54E7imT27eT5DfAeh
Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01JWjLyTx59PEpfmhq6qy8EX
@ghackett
ghackett marked this pull request as ready for review July 12, 2026 11:36
@ghackett
ghackett merged commit c78330d into main Jul 12, 2026
3 checks passed
@ghackett
ghackett deleted the remove-jenkinsfile branch July 12, 2026 11:37
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.

1 participant