OS-specific apt CI caches and pip CI caches (!487) · Merge requests · Software / ArmarX / Meta / Axii · GitLab

Snippets Groups Projects

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

Jan 24, 2023
- chore: Remove debug output · deeebc6d
  Christian Dreher authored 2 years ago
  
  Verified
  
  deeebc6d
- chore: try pip cache · d320ad2e
  Christian Dreher authored 2 years ago
  
  Verified
  
  d320ad2e
- noop · 73ef6987
  Christian Dreher authored 2 years ago
  
  Verified
  
  73ef6987
- noop · 2638150f
  Christian Dreher authored 2 years ago
  
  Verified
  
  2638150f
- chore: Adjust command · 994e1224
  Christian Dreher authored 2 years ago
  
  Verified
  
  994e1224
- chore: Remove old archives · ddcf25c3
  Christian Dreher authored 2 years ago
  
  Verified
  
  ddcf25c3
- chore: Inspect cache · 1b173e95
  Christian Dreher authored 2 years ago
  
  Verified
  
  1b173e95
Jan 23, 2023
- chore: Remove debug output · 9043d040
  Christian Dreher authored 2 years ago
  
  Verified
  
  9043d040
- chore: Try os-release since lsb_release is not available by default · 06885d0a
  Christian Dreher authored 2 years ago
  
  Verified
  
  06885d0a
- chore: OS-specific caches · 4ffa1f0f
  Christian Dreher authored 2 years ago
  
  Verified
  
  4ffa1f0f