JML generation now pushes only modified files (with new JML added)

4 jobs for master in 3 minutes and 58 seconds (queued for 8 seconds)
latest
Status Job ID Name Coverage
  Build
passed build #47471

00:01:42

 
  Test
passed test #47472

00:00:46

 
  Package
passed package #47473

00:00:40

 
  Deploy
passed deploy #47474

00:00:49