github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2025-01-03 04:51:57 +03:00
Code Issues Projects Releases Wiki Activity

📝 optionsSHA.

Browse Source
This commit is contained in:
Rob Rix 2018-10-30 14:16:52 -04:00
parent fdc69fdd3d
commit e44ab265ab
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/Semantic/Config.hs
View File

@ -53,7 +53,7 @@ data Options
, optionsRequestID :: Maybe String -- ^ Optional request id for tracing across systems.
, optionsFailOnWarning :: Bool -- ^ Should semantic fail fast on assignment warnings (for testing)
, optionsFailOnParseError :: Bool -- ^ Should semantic fail fast on tree-sitter parser errors (for testing)
, optionsSHA :: Maybe String
, optionsSHA :: Maybe String -- ^ Optional SHA to include in log messages.
}
defaultOptions :: Options