Compare commits
2 commits
0d70a68769
...
4fb464325c
Author | SHA1 | Date | |
---|---|---|---|
4fb464325c | |||
63d837b264 |
2 changed files with 9 additions and 6 deletions
|
@ -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
|
||||
|
|
|
@ -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/
|
||||
|
|
Loading…
Reference in a new issue