Skip to content
  • 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
Validating GitLab CI configuration… Learn more