Skip to content

Commit

Permalink
Remove Jenkins pipeline
Browse files Browse the repository at this point in the history 
This commit removes the Jenkins pipeline in preparation to the move to
GitHub Actions.

See gh-1461
  • Loading branch information
@snicoll
snicoll committed Feb 28, 2025
1 parent 49e6c9a commit b40c664
Show file tree
Hide file tree
Showing 21 changed files with 0 additions and 1,249 deletions.
325 changes: 0 additions & 325 deletions Jenkinsfile
View file

This file was deleted.

Loading

0 comments on commit b40c664

Please sign in to comment.