s<span class="w"> </span>from<span class="w"> </span>the<span class="w"> </span>code
<span class="w">    </span>make<span class="w"> </span>typing<span class="w">               </span>running<span class="w"> </span><span class="nb">type</span><span class="w"> </span>checks
<span class="w">    </span>make<span class="w"> </span>verify-git<span class="w">           </span>checking<span class="w"> </span>git<span class="w"> </span>status
<span class="w">    </span>make<span class="w"> </span>version<span class