chore(deps): bump mike from 2.1.2 to 2.1.3 #1045

Job	Run time
build_windows (windows-latest, 3.9)	1m 21s
build (ubuntu-20.04, 3.9)	1m 25s
build_windows (windows-latest, 3.10)	1m 42s
build_windows (windows-latest, 3.11)	1m 18s
build (ubuntu-20.04, 3.10)	1m 30s
build (ubuntu-20.04, 3.11)	1m 31s
build_windows (windows-latest, 3.12)	1m 29s
build (ubuntu-20.04, 3.12)	1m 38s
build (ubuntu-22.04, 3.9)	1m 30s
build (ubuntu-22.04, 3.10)	1m 27s
build (ubuntu-22.04, 3.11)	1m 29s
build (ubuntu-22.04, 3.12)	1m 45s
build (macos-12, 3.9)	1m 23s
build (macos-12, 3.10)	2m 9s
build (macos-12, 3.11)	2m 29s
build (macos-12, 3.12)	1m 59s
build (macos-13, 3.9)	1m 35s
build (macos-13, 3.10)	1m 30s
build (macos-13, 3.11)	1m 59s
build (macos-13, 3.12)	2m 26s
build (macos-14, 3.10)	1m 15s
build (macos-14, 3.11)	1m 0s
build (macos-14, 3.12)	1m 6s
notify-complete	5s
deploy	0s
	37m 1s

Provide feedback