Compare commits
No commits in common. "4fb464325ced0f47e03e5b5251fe62f658ff8b0d" and "0d70a68769f5967de883075bf137c0a8f69d8804" have entirely different histories.
4fb464325c
...
0d70a68769
|
@ -14,8 +14,6 @@ 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
|
||||||
|
@ -28,5 +26,4 @@ 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], advised by [Favonia].
|
I'm a computer science master's student at the [University of Minnesota][1],
|
||||||
My current research focus for my thesis is cubical type theory and its applications to formalizing mathematical proofs.
|
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
|
||||||
I've previously worked as a software engineer at [Swoop Search], [AWS] and [SIFT] in the past.
|
programming language design and formal verification, systems security,
|
||||||
My computing-related interests lie in programming language design, type theory, formal verification, systems security, cryptography, and distributed systems.
|
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