diff options
| author | capellancitizen <thecapellancitizen@gmail.com> | 2025-03-09 21:21:48 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-03-09 21:21:48 -0400 |
| commit | 99509df8d8abf1e7b701a4a09cf170a362f6d878 (patch) | |
| tree | a461549502fa9f37dc287789b6c7db81dfcd5368 /DEBUG_template.toml | |
| parent | 0d2fc24f25f87562f0755b53dad6204efad1330d (diff) | |
Mypy type correctness (#3199)
Diffstat (limited to 'DEBUG_template.toml')
| -rw-r--r-- | DEBUG_template.toml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/DEBUG_template.toml b/DEBUG_template.toml index f446b98d..f33b17b7 100644 --- a/DEBUG_template.toml +++ b/DEBUG_template.toml @@ -45,6 +45,7 @@ # profiler_type = "cprofile" # profiler_type = "profile" # profiler_type = "pyinstrument" +# profiler_type = "monkeytype" ### enable profiler, see cmd line arg -p, default: false # profile_enable = true |