Branch: refs/heads/master Home: https://github.com/xrootd/xrootd Commit: 576817f9dab83f258456bbbc7f68e827ddef8672 https://github.com/xrootd/xrootd/commit/576817f9dab83f258456bbbc7f68e827ddef8672 Author: Michal Simon <[log in to unmask]> Date: 2018-07-17 (Tue, 17 Jul 2018) Changed paths: M .gitlab-ci.yml Log Message: ----------- [CI] tweak the build script. **NOTE:** This service been marked for deprecation: https://developer.github.com/changes/2018-04-25-github-services-deprecation/ Functionality will be removed from GitHub.com on January 31st, 2019. ######################################################################## Use REPLY-ALL to reply to list To unsubscribe from the XROOTD-DEV list, click the following link: https://listserv.slac.stanford.edu/cgi-bin/wa?SUBED1=XROOTD-DEV&A=1