|
|
3e07267470
|
zz
ci/woodpecker/push/woodpecker Pipeline failed
|
2023-10-11 17:38:07 -05:00 |
|
|
|
9ecc011029
|
a
ci/woodpecker/push/woodpecker Pipeline failed
|
2023-10-11 17:36:46 -05:00 |
|
|
|
e22340a98d
|
test
ci/woodpecker/push/woodpecker Pipeline failed
|
2023-10-11 17:34:34 -05:00 |
|
|
|
b33ba945b6
|
a
ci/woodpecker/push/woodpecker Pipeline failed
|
2023-10-11 17:27:56 -05:00 |
|
|
|
1e5bef0b6f
|
use agda
ci/woodpecker/push/woodpecker Pipeline failed
|
2023-10-11 16:17:08 -05:00 |
|
|
|
2d7abd47d0
|
dont be so verbose
ci/woodpecker/push/woodpecker Pipeline was successful
|
2023-09-08 05:15:25 -05:00 |
|
|
|
6468b29dd7
|
minor edits
ci/woodpecker/push/woodpecker Pipeline was successful
|
2023-08-31 22:25:25 -05:00 |
|
|
|
4a89b35ba3
|
ok kinda working
ci/woodpecker/push/woodpecker Pipeline failed
|
2023-08-31 03:07:03 -05:00 |
|
|
|
608503637c
|
inductive types wip
ci/woodpecker/push/woodpecker Pipeline was successful
|
2023-03-29 15:03:10 -05:00 |
|
|
|
d6551c4632
|
Add Forgejo link
ci/woodpecker/push/woodpecker Pipeline was successful
|
2023-02-04 01:24:48 -06:00 |
|
|
|
9336875427
|
How do secrets work
ci/woodpecker/push/woodpecker Pipeline was successful
|
2023-02-04 01:18:38 -06:00 |
|
|
|
3e90f780aa
|
Wtf
ci/woodpecker/push/woodpecker Pipeline failed
|
2023-02-04 01:15:29 -06:00 |
|
|
|
b19471d9fd
|
Set SSH_SECRET_KEY to 600
ci/woodpecker/push/woodpecker Pipeline failed
|
2023-02-04 01:12:21 -06:00 |
|
|
|
bf5a0ee802
|
Add openssh
ci/woodpecker/push/woodpecker Pipeline failed
|
2023-02-04 01:11:56 -06:00 |
|
|
|
ac77b241fb
|
Add ssh
ci/woodpecker/push/woodpecker Pipeline failed
|
2023-02-04 01:11:28 -06:00 |
|
|
|
86a217d5f0
|
Add rsync
ci/woodpecker/push/woodpecker Pipeline failed
|
2023-02-04 01:10:53 -06:00 |
|
|
|
cfb914149d
|
mkdir ssh
ci/woodpecker/push/woodpecker Pipeline failed
|
2023-02-04 01:10:28 -06:00 |
|
|
|
b0188f6c9e
|
Hugo with extensions
ci/woodpecker/push/woodpecker Pipeline failed
|
2023-02-04 01:08:47 -06:00 |
|
|
|
9623a74793
|
Add woodpecker file
ci/woodpecker/push/woodpecker Pipeline failed
|
2023-02-04 01:04:29 -06:00 |
|
