Add empty skipped-profiling section
@chrisdone this is now necessary, correct?
commit8bca1ec5c83d9f53204cb50b7b28e32e84399e86
authorMichael Snoyman <michael@snoyman.com>
dateFri 2 Jan 2015, 08:29 (12 years ago)
parentb76d7e9
build-constraints.yaml+2
@@ -898,6 +898,8 @@ skipped-benchmarks:
898898 # sometimes falls out-of-sync on hasql-postgres
899899 - hasql
900900
901+skipped-profiling: []
902+
901903# Mapping from Github account holding a package to the Github users who should
902904# be pinged on failure. If no value is specified here, then the owning account
903905# will be pinged.