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/astro
|
||||||
# - pnpm link /tmp/astro/packages/markdown/remark
|
# - pnpm link /tmp/astro/packages/markdown/remark
|
||||||
- pnpm run build
|
- pnpm run build
|
||||||
|
when:
|
||||||
|
- event: push
|
||||||
|
|
||||||
deploy:
|
deploy:
|
||||||
image: alpine
|
image: alpine
|
||||||
|
@ -26,4 +28,5 @@ steps:
|
||||||
- rsync -azrP -e "ssh -i SSH_SECRET_KEY" dist/ blogDeploy@mzhang.io:/home/blogDeploy/public
|
- rsync -azrP -e "ssh -i SSH_SECRET_KEY" dist/ blogDeploy@mzhang.io:/home/blogDeploy/public
|
||||||
secrets: [SSH_SECRET_KEY]
|
secrets: [SSH_SECRET_KEY]
|
||||||
when:
|
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],
|
I'm a computer science master's student at the [University of Minnesota][1], advised by [Favonia].
|
||||||
advised by [Favonia]. I've previously worked as a software engineer at [Swoop
|
My current research focus for my thesis is cubical type theory and its applications to formalizing mathematical proofs.
|
||||||
Search], [AWS] and [SIFT] in the past. My computing-related interests lie in
|
|
||||||
programming language design and formal verification, systems security,
|
I've previously worked as a software engineer at [Swoop Search], [AWS] and [SIFT] in the past.
|
||||||
cryptography, and distributed systems.
|
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/
|
[1]: https://twin-cities.umn.edu/
|
||||||
[Swoop Search]: https://swoopsrch.com/
|
[Swoop Search]: https://swoopsrch.com/
|
||||||
|
|
Loading…
Reference in a new issue