ci: disable numeric underscore hlint warning

This suggests to e.g. reformat a port number as 8_001 which is
a bad idea.

See e.g. here: https://github.com/hasura/graphql-engine-mono/pull/4082/files

PR-URL: https://github.com/hasura/graphql-engine-mono/pull/4140
GitOrigin-RevId: 655d09bd439847e3a5021af787183f95b0b84975
This commit is contained in:
Robert 2022-04-01 17:41:07 +02:00 committed by hasura-bot
parent 5e050d2db6
commit cabcc22d5f

View File

@ -73,6 +73,7 @@
- ignore: {name: Redundant return}
- ignore: {name: Use <$>, within: [Hasura.RQL.DDL.Metadata, Hasura.Backends.MSSQL.Types.Instances]}
- ignore: {name: Functor law, within: Hasura.Server.AuthSpec}
- ignore: {name: Use underscore} # suggests to format port numbers
# Define some custom infix operators
# - fixity: infixr 3 ~^#^~