Playing with times (!11) · Merge requests · FIJI / hpc-workflow-manager · GitLab

Snippets Groups Projects

Merged Petr Bainar requested to merge playingWithTimes into master 7 years ago

Feb 15, 2018
- playingWithTimes: hijacking this branch for fixing bug #1021 · ff6d9232
  Petr Bainar authored 7 years ago
  
  ff6d9232
Feb 14, 2018
- playingWithTimes: addressing merge request discussion #1 · bd112056
  Petr Bainar authored 7 years ago
  
  bd112056
- playingWithTimes: reusing task name map also in the progress view · 1677fdf8
  Petr Bainar authored 7 years ago
  
  1677fdf8
- playingWithTimes: hijacking this branch for fixing bug #1022 · 35637040
  Petr Bainar authored 7 years ago
  
  35637040
- playingWithTimes: adding chronological reordering for tasks · 03df6b0d
  Petr Bainar authored 7 years ago
  
  03df6b0d
- playingWithTimes: gentle refactoring · 35cfeea2
  Petr Bainar authored 7 years ago
  
  35cfeea2
- playingWithTimes: implementing total pipeline duration calculation · 35c67581
  Petr Bainar authored 7 years ago
  
  35c67581
Feb 13, 2018
- playingWithTimes: making use of the DoubleSummaryStatistics class · 37cff5ea
  Petr Bainar authored 7 years ago
  
  37cff5ea
- playingWithTimes: committing stuff that is actually working · e5e6df20
  Petr Bainar authored 7 years ago
  
  e5e6df20
Feb 12, 2018
- playingWithTimes: committing initial implementation · 5d4a77f2
  Petr Bainar authored 7 years ago
  
  5d4a77f2