Merge branch 'main' into navbar-links

Author: krisstern

Jenkinsfile

@@ -19,8 +19,7 @@ pipeline {
     stage('Check for typos') {
       steps {
         sh '''
-          curl -qsL https://github.com/crate-ci/typos/releases/download/v1.33.1/typos-v1.33.1-x86_64-unknown-linux-musl.tar.gz | tar xvzf - ./typos
-          ./typos --format json > typos.sarif || true
+          typos --format sarif > typos.sarif || true
         '''
       }
       post {