Commits on Sep 19, 2024

1. [Build] Define Docker images build using Jenkin's Job-DSL …

   This just preserves the existing and currently manually maintained
   'Build-Docker-images' job in a Jenkins Job-DSL script under version
   control.

   

   HannesWell committed Sep 19, 2024
   Configuration menu

   • View commit details
   • Copy full SHA for 117db37
   • Browse repository at this point

   Copy the full SHA

   117db37 View commit details

   Browse the repository at this point in the history

2. [Build] Remove Centos-8 Docker images that cannot be built anymore

   

   HannesWell committed Sep 19, 2024
   Configuration menu

   • View commit details
   • Copy full SHA for bbb6531
   • Browse repository at this point

   Copy the full SHA

   bbb6531 View commit details

   Browse the repository at this point in the history

3. [Build] Fix git URLs and reduce mail notification in Docker image build …

   - Update to jdt.core git repository at Github
   - Don't send mails on success only on failure and only to the
   mailing-list and not specific people
   - Build only once per week (if a recent change is needed a build is
   triggered manually any ways)
   - Delete complete workspace content after the build

   

   HannesWell committed Sep 19, 2024
   Configuration menu

   • View commit details
   • Copy full SHA for 4a703d7
   • Browse repository at this point

   Copy the full SHA

   4a703d7 View commit details

   Browse the repository at this point in the history

4. [Build] Simplify and clean-up Docker image build …

   - Inline bash-scripts to build and push docker-images
     - Just delete those scripts that are not used
     - Remove push of images that are not built (anymore)

   

   HannesWell committed Sep 19, 2024
   Configuration menu

   • View commit details
   • Copy full SHA for b1c8003
   • Browse repository at this point

   Copy the full SHA

   b1c8003 View commit details

   Browse the repository at this point in the history