michael
/
blog
1
0
Fork 0
Code Issues 1 Pull Requests Releases Wiki Activity
391 Commits 4 Branches 0 Tags 24 MiB
Commit Graph

391 Commits

Author SHA1 Message Date
Michael Zhang 9336875427 How do secrets work
ci/woodpecker/push/woodpecker Pipeline was successful Details
2023-02-04 01:18:38 -06:00
Michael Zhang 3e90f780aa Wtf
ci/woodpecker/push/woodpecker Pipeline failed Details
2023-02-04 01:15:29 -06:00
Michael Zhang b19471d9fd Set SSH_SECRET_KEY to 600
ci/woodpecker/push/woodpecker Pipeline failed Details
2023-02-04 01:12:21 -06:00
Michael Zhang bf5a0ee802 Add openssh
ci/woodpecker/push/woodpecker Pipeline failed Details
2023-02-04 01:11:56 -06:00
Michael Zhang ac77b241fb Add ssh
ci/woodpecker/push/woodpecker Pipeline failed Details
2023-02-04 01:11:28 -06:00
Michael Zhang 86a217d5f0 Add rsync
ci/woodpecker/push/woodpecker Pipeline failed Details
2023-02-04 01:10:53 -06:00
Michael Zhang cfb914149d mkdir ssh
ci/woodpecker/push/woodpecker Pipeline failed Details
2023-02-04 01:10:28 -06:00
Michael Zhang b0188f6c9e Hugo with extensions
ci/woodpecker/push/woodpecker Pipeline failed Details
2023-02-04 01:08:47 -06:00
Michael Zhang 9623a74793 Add woodpecker file
ci/woodpecker/push/woodpecker Pipeline failed Details
2023-02-04 01:04:29 -06:00
Michael Zhang 648ed87a91
New home page 2022-01-24 18:35:39 -06:00
Michael Zhang 184d29012e
Update link 2022-01-04 01:24:08 -06:00
Michael Zhang 2690a09aa7
Also use monofont for inline code elements 2021-12-12 13:59:56 -06:00
Michael Zhang e59fdc101c
Add agda stylesheet + Mono font 2021-12-12 13:56:54 -06:00
Michael Zhang efc6916dce
Remove "Posted on" 2021-12-01 13:07:08 -06:00
Michael Zhang 9caf7b637e
minify 2021-12-01 13:05:52 -06:00
Michael Zhang e11c78b3e3
cd to blog 2021-11-23 02:01:58 -06:00
Michael Zhang 631c1952f8
Wrong host 2021-11-23 02:00:48 -06:00
Michael Zhang 89f417692d
Update rsync command 2021-11-23 01:59:11 -06:00
Michael Zhang 2fb170a60d
Update 2021-11-23 01:53:51 -06:00
Michael Zhang ad987cb3f6
Upload built blog to website 2021-11-23 01:44:52 -06:00
Michael Zhang 1838120b01
Add build.yml 2021-11-23 01:41:57 -06:00
Michael Zhang 10d53c0b2a
z 2021-11-17 21:02:38 -06:00
Michael Zhang ee3ff81526
Remove summaries, it looks kinda cluttery 2021-11-01 18:15:23 -05:00
Michael Zhang f3a17a3f69
Revert mastodon testing changes 2021-11-01 01:02:23 -05:00
Michael Zhang 81fa0bbb36 Mastodon testing 2021-11-01 00:52:38 -05:00
Michael Zhang 50b600b519 Add site title to meta tag 2021-10-31 23:17:12 -05:00
Michael Zhang 3424164934 Add title and permalink 2021-10-31 23:13:00 -05:00
Michael Zhang a2e3f6f6e6 What 2021-10-31 23:08:54 -05:00
Michael Zhang 5b3c5b0257 remove headers 2021-10-31 22:53:40 -05:00
Michael Zhang f757885ac6 wtf was i doing here 2021-10-31 22:53:04 -05:00
Michael Zhang 4409efed7e Update summary 2021-10-31 22:47:16 -05:00
Michael Zhang f17a37183a meta description 2021-10-31 22:45:54 -05:00
Michael Zhang 09e274a481 wtf every post was in june 2021-10-31 22:36:32 -05:00
Michael Zhang 114af15e61 Publish e2e article 2021-10-31 22:36:11 -05:00
Michael Zhang b04175954b
new post 2021-08-30 02:52:21 -05:00
Michael Zhang 8bcce8a5c7
mastodon link 2021-08-11 22:41:13 -05:00
Michael Zhang 7b408c47ac
redo intro 2021-08-03 02:28:40 -05:00
Michael Zhang 99bd0368b6
d 2021-08-03 02:08:51 -05:00
Michael Zhang 288e58e650
projects 2021-08-03 02:05:25 -05:00
Michael Zhang 380c9e0d20
projects 2021-08-03 02:01:30 -05:00
Michael Zhang 2b6f2c76ef
add enterprise to project list 2021-08-03 01:52:14 -05:00
Michael Zhang eb2bfd99f0
project links -> self hosted 2021-07-13 14:35:51 -05:00
Michael Zhang ccd16a2648
waht 2021-07-06 18:04:42 -05:00
Michael Zhang 098d5014a5
d 2021-07-06 18:02:11 -05:00
Michael Zhang 9b9e46d641
rss 2021-07-06 17:55:57 -05:00
Michael Zhang eae8265313
projs 2021-07-06 17:27:33 -05:00
Michael Zhang 8c1ee0d40e
upd 2021-07-06 16:57:42 -05:00
Michael Zhang 796cb7eb08
revamp taxonomies 2021-07-06 16:32:34 -05:00
Michael Zhang 849c0c3bb6
upd 2021-07-06 15:58:39 -05:00
Michael Zhang a163172b8b
project list 2021-07-06 14:56:01 -05:00