mirror of
https://github.com/jeertmans/manim-slides.git
synced 2025-05-22 13:06:45 +08:00
chore(ci): ignore type
This commit is contained in:
@ -1105,7 +1105,7 @@ def present(
|
||||
a.show()
|
||||
|
||||
# inform about CTRL+C
|
||||
def sigkill_handler(signum, frame):
|
||||
def sigkill_handler(signum, frame): # type: ignore
|
||||
logger.warn(
|
||||
"Thie application cannot be closed with usual CTRL+C, "
|
||||
"please use the appropriate key defined in your config "
|
||||
|
Reference in New Issue
Block a user