mirror of
https://github.com/commercialhaskell/stackage.git
synced 2026-01-11 23:08:30 +01:00
Add empty skipped-profiling section
@chrisdone this is now necessary, correct?
This commit is contained in:
parent
b76d7e9720
commit
8bca1ec5c8
@ -898,6 +898,8 @@ skipped-benchmarks:
|
||||
# sometimes falls out-of-sync on hasql-postgres
|
||||
- hasql
|
||||
|
||||
skipped-profiling: []
|
||||
|
||||
# Mapping from Github account holding a package to the Github users who should
|
||||
# be pinged on failure. If no value is specified here, then the owning account
|
||||
# will be pinged.
|
||||
|
||||
Loading…
Reference in New Issue
Block a user