Compare commits
No commits in common. "4fb464325ced0f47e03e5b5251fe62f658ff8b0d" and "0d70a68769f5967de883075bf137c0a8f69d8804" have entirely different histories.
4fb464325c
...
0d70a68769
2 changed files with 6 additions and 9 deletions
|
@ -14,8 +14,6 @@ steps:
|
|||
# - pnpm link /tmp/astro/packages/astro
|
||||
# - pnpm link /tmp/astro/packages/markdown/remark
|
||||
- pnpm run build
|
||||
when:
|
||||
- event: push
|
||||
|
||||
deploy:
|
||||
image: alpine
|
||||
|
@ -28,5 +26,4 @@ steps:
|
|||
- rsync -azrP -e "ssh -i SSH_SECRET_KEY" dist/ blogDeploy@mzhang.io:/home/blogDeploy/public
|
||||
secrets: [SSH_SECRET_KEY]
|
||||
when:
|
||||
- branch: master
|
||||
event: push
|
||||
branch: master
|
||||
|
|
|
@ -1,8 +1,8 @@
|
|||
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.
|
||||
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.
|
||||
|
||||
[1]: https://twin-cities.umn.edu/
|
||||
[Swoop Search]: https://swoopsrch.com/
|
||||
|
|
Loading…
Reference in a new issue