Skip to content
Snippets Groups Projects
  1. Jan 28, 2025
  2. Jan 27, 2025
    • Georges Racinet's avatar
      CI/CD: push/pull of package to S3 · 3561a0ed0323
      Georges Racinet authored
      The last tricky bit is that despite the `s3//`, addresses in
      `s3cmd` are not URLs. In particular the `+` should not be escaped,
      so we have to de-escape it.
      
      Later on, we will fashion the `RELEASE` file to contain directly the
      appropriate information.
      
      Closes #52
      3561a0ed0323
  3. Jan 26, 2025
  4. Jan 23, 2025
  5. Jan 08, 2025
  6. Dec 24, 2024
  7. Dec 23, 2024
  8. Dec 18, 2024
  9. Dec 17, 2024
  10. Dec 13, 2024
  11. Dec 12, 2024
  12. Dec 11, 2024
  13. Dec 12, 2024
  14. Dec 11, 2024
  15. Dec 12, 2024
  16. Dec 11, 2024
  17. Dec 10, 2024
  18. Dec 09, 2024
  19. Nov 25, 2024
  20. Dec 05, 2024
  21. Dec 04, 2024
Loading