gitlab-ci: Reintroduce DWARF-enabled bindists

Authored by bgamari on Apr 25 2019, 4:13 PM.

Description

gitlab-ci: Reintroduce DWARF-enabled bindists

It seems that this was inadvertently dropped in
1285d6b95fbae7858abbc4722bc2301d7fe40425.

Details

Committed
bgamariApr 26 2019, 12:53 PM
Parents
rGHCf175c306d914: users-guide: Mention profiling break on 32-bit Windows
Branches
Unknown
Tags
Unknown