 Michael Zhang
|
4a89b35ba3
|
ok kinda working
ci/woodpecker/push/woodpecker Pipeline failed
|
2023-08-31 03:07:03 -05:00 |
|
|
Michael Zhang
|
608503637c
|
inductive types wip
ci/woodpecker/push/woodpecker Pipeline was successful
|
2023-03-29 15:03:10 -05:00 |
|
|
Michael Zhang
|
d6551c4632
|
Add Forgejo link
ci/woodpecker/push/woodpecker Pipeline was successful
|
2023-02-04 01:24:48 -06:00 |
|
|
Michael Zhang
|
9336875427
|
How do secrets work
ci/woodpecker/push/woodpecker Pipeline was successful
|
2023-02-04 01:18:38 -06:00 |
|
|
Michael Zhang
|
3e90f780aa
|
Wtf
ci/woodpecker/push/woodpecker Pipeline failed
|
2023-02-04 01:15:29 -06:00 |
|
|
Michael Zhang
|
b19471d9fd
|
Set SSH_SECRET_KEY to 600
ci/woodpecker/push/woodpecker Pipeline failed
|
2023-02-04 01:12:21 -06:00 |
|
|
Michael Zhang
|
bf5a0ee802
|
Add openssh
ci/woodpecker/push/woodpecker Pipeline failed
|
2023-02-04 01:11:56 -06:00 |
|
|
Michael Zhang
|
ac77b241fb
|
Add ssh
ci/woodpecker/push/woodpecker Pipeline failed
|
2023-02-04 01:11:28 -06:00 |
|
|
Michael Zhang
|
86a217d5f0
|
Add rsync
ci/woodpecker/push/woodpecker Pipeline failed
|
2023-02-04 01:10:53 -06:00 |
|
|
Michael Zhang
|
cfb914149d
|
mkdir ssh
ci/woodpecker/push/woodpecker Pipeline failed
|
2023-02-04 01:10:28 -06:00 |
|
|
Michael Zhang
|
b0188f6c9e
|
Hugo with extensions
ci/woodpecker/push/woodpecker Pipeline failed
|
2023-02-04 01:08:47 -06:00 |
|
|
Michael Zhang
|
9623a74793
|
Add woodpecker file
ci/woodpecker/push/woodpecker Pipeline failed
|
2023-02-04 01:04:29 -06:00 |
|