diff options
| author | georg | 2019-03-04 09:37:33 +0000 |
|---|---|---|
| committer | jvoisin | 2019-03-07 21:53:43 +0100 |
| commit | a5a3e4677f65cc33f172507e74790ed371f33711 (patch) | |
| tree | e9a3174b839b5d267493c6a2c531363ecda8bd58 /libmat2 | |
| parent | adf7adf85450c05bc3e37d0b5b4c5e163591c135 (diff) | |
CI: Drop obsolete tags to force jobs to run on whitewhale
This made sense some time ago. Nowdays, the whitewhale runner seems to
not really be reliable, so tagging jobs with it doesn't gain much.
Relates #45
Diffstat (limited to 'libmat2')
0 files changed, 0 insertions, 0 deletions