Repository navigation

Migrate Jenkins pipelines to GitHub Actions - #196

Open

devin-ai-integration[bot] wants to merge 3 commits into

devin/1778097214-migrate-jenkins-to-gh-actions

Open

Migrate Jenkins pipelines to GitHub Actions#196
devin-ai-integration[bot] wants to merge 3 commits into
DevOpsfrom
devin/1778097214-migrate-jenkins-to-gh-actions

Commits on May 6, 2026
- Migrate Jenkins pipelines to GitHub Actions
  
  devin-ai-integration[bot]
  and
  vanessasalas-cog
  committed
  bce5a68
- Pin valid action versions and mark scan steps continue-on-error
  
  devin-ai-integration[bot]
  and
  vanessasalas-cog
  committed
  7f47de8
- Update Dockerfile base images to current Eclipse Temurin tags
  
  devin-ai-integration[bot]
  and
  vanessasalas-cog
  committed
  db519f3