Enable apt caching, clean up pylint job (!484) · Merge requests · Software / ArmarX / Meta / Axii · GitLab

Snippets Groups Projects

Merged Christian Dreher requested to merge ci-dev into main 2 years ago

Jan 20, 2023
- chore: Add missing dependencies · 7256d319
  Christian Dreher authored 2 years ago
  
  Verified
  
  7256d319
- chore: Reformat and unify style, add needs · 6fa9bd25
  Christian Dreher authored 2 years ago
  
  Verified
  
  6fa9bd25
- chore: Don't override before_script · b3ad0481
  Christian Dreher authored 2 years ago
  
  Verified
  
  b3ad0481
- chore: Revert to original image · 016d3021
  Christian Dreher authored 2 years ago
  
  Verified
  
  016d3021
- chore: Install all dev packages to avoid pylint errors or warnings about not found dependences · 56d3b0a7
  Christian Dreher authored 2 years ago
  
  Verified
  
  56d3b0a7
- chore: Restore file tree skeleton · eff4eecd
  Christian Dreher authored 2 years ago
  
  Verified
  
  eff4eecd
- chore: Install before script, no source · 3e344c22
  Christian Dreher authored 2 years ago
  
  Verified
  
  3e344c22
- chore: Update repos · a63abca7
  Christian Dreher authored 2 years ago
  
  Verified
  
  a63abca7
- chore: Frist draft for cache-optimized pipelines (cleaned up as well for pylint) · a7f646b7
  Christian Dreher authored 2 years ago
  
  Verified
  
  a7f646b7
- Merge branch 'main' into ci-dev · de3d4c7d
  Christian Dreher authored 2 years ago
  
  Verified
  
  de3d4c7d