update th'bio

.woodpecker.yml

@@ -14,6 +14,8 @@ steps:
       #   - pnpm link /tmp/astro/packages/astro
       #   - pnpm link /tmp/astro/packages/markdown/remark
       - pnpm run build
+    when:
+      - event: push
 
   deploy:
     image: alpine
@@ -26,4 +28,5 @@ steps:
       - rsync -azrP -e "ssh -i SSH_SECRET_KEY" dist/ blogDeploy@mzhang.io:/home/blogDeploy/public
     secrets: [SSH_SECRET_KEY]
     when:
-      branch: master
+      - branch: master
+        event: push

src/content/partials/shortBio.md

@@ -1,8 +1,8 @@
-I'm a computer science master's student at the [University of Minnesota][1],
-advised by [Favonia]. I've previously worked as a software engineer at [Swoop
-Search], [AWS] and [SIFT] in the past. My computing-related interests lie in
-programming language design and formal verification, systems security,
-cryptography, and distributed systems.
+I'm a computer science master's student at the [University of Minnesota][1], advised by [Favonia].
+My current research focus for my thesis is cubical type theory and its applications to formalizing mathematical proofs.
+
+I've previously worked as a software engineer at [Swoop Search], [AWS] and [SIFT] in the past.
+My computing-related interests lie in programming language design, type theory, formal verification, systems security, cryptography, and distributed systems.
 
 [1]: https://twin-cities.umn.edu/
 [Swoop Search]: https://swoopsrch.com/