1. 14 Jan, 2020 1 commit
  2. 23 Apr, 2019 1 commit
    • georg's avatar
      CI: deploy: ignore 'dev' directory (regression fix) · dd8830cc
      georg authored
      Otherwise, if the master branch is deployed, the 'dev' directory is
      removed, which possibly contains data we want to keep, for example code
      coverage reports or proposed website changes.
      
      This commit fixes a regression introduced in
      4e0c624f.
      
      It was tested via an intermediate commit to ensure it works as expected.
      
      Relates !71
      dd8830cc
  3. 19 Apr, 2019 2 commits
  4. 24 Feb, 2019 1 commit
  5. 17 Feb, 2019 1 commit
  6. 02 Feb, 2019 3 commits
  7. 29 Oct, 2018 1 commit
  8. 18 Jul, 2018 3 commits
  9. 16 Jul, 2018 1 commit
  10. 18 May, 2018 1 commit
    • georg's avatar
      CI: Ignore 'download' directory while deploying · cbaf5cfb
      georg authored
      Currently, we don't store the release files in git, which lead to the
      fact, that they were automatically removed, due to our use of lftps
      'mirror' option. This commit fixes this via ignoring this specific
      directory.
      
      Tested via an intermediate commit to ensure this works as expected.
      
      Closes #34
      cbaf5cfb
  11. 21 Apr, 2018 1 commit
  12. 18 Apr, 2018 1 commit
  13. 15 Mar, 2018 1 commit