1. Dec 05, 2019
    • Lukasz Dorau's avatar
      Change owner and group of HOST_WORKDIR · 26ef0b5f
      Lukasz Dorau authored
      The 'HOST_WORKDIR' directory contains the source code
      cloned in a CI, so UID and GID of its files are equal
      to UID and GID of a CI user, which can vary depending on a CI.
      We have to change the ownership of this directory
      and all its files to UID and GID of the Docker user,
      because the build is run in Docker.
      26ef0b5f
  2. Dec 03, 2019
  3. Nov 29, 2019
  4. Nov 28, 2019
  5. Nov 27, 2019
  6. Nov 26, 2019
  7. Nov 22, 2019
  8. Nov 21, 2019
  9. Nov 20, 2019
  10. Nov 18, 2019
  11. Nov 15, 2019
  12. Nov 12, 2019
  13. Nov 09, 2019
  14. Nov 08, 2019
  15. Nov 07, 2019
  16. Nov 06, 2019
  17. Nov 05, 2019