Commit graph

41 commits

Author SHA1 Message Date
c2510fea83 move woodpecker file
All checks were successful
ci/woodpecker/push/deploy Pipeline was successful
2024-10-22 21:50:32 -05:00
3e1745f215 forgot to include git ooops
All checks were successful
ci/woodpecker/push/woodpecker Pipeline was successful
2024-10-21 06:39:05 -05:00
2d0316adee update footer to include hash
Some checks failed
ci/woodpecker/push/woodpecker Pipeline failed
2024-10-21 06:34:52 -05:00
ee867ae783 update for awscli woodpecker
All checks were successful
ci/woodpecker/push/woodpecker Pipeline was successful
2024-10-21 06:14:57 -05:00
726554826a fix deploy
All checks were successful
ci/woodpecker/push/woodpecker Pipeline was successful
2024-06-26 20:44:17 -05:00
6324b12c33 Update builder
Some checks failed
ci/woodpecker/push/woodpecker Pipeline failed
2024-06-26 20:38:45 -05:00
b574a929a7 Update
Some checks failed
ci/woodpecker/push/woodpecker Pipeline failed
2024-06-26 20:29:52 -05:00
4f88615c31 Update builder
Some checks failed
ci/woodpecker/push/woodpecker Pipeline failed
2024-06-26 19:47:02 -05:00
38e2a8cec5 Update dependencies 2024-06-26 19:42:02 -05:00
7375f9c81b agda building!
Some checks failed
ci/woodpecker/push/woodpecker Pipeline failed
2024-06-26 19:17:01 -05:00
63d837b264 event: push 2024-06-21 01:00:23 -05:00
0d70a68769 Revert "pudate"
All checks were successful
ci/woodpecker/push/woodpecker Pipeline was successful
This reverts commit 435ec21f6e.
2024-06-21 00:58:59 -05:00
435ec21f6e pudate
Some checks failed
ci/woodpecker/push/woodpecker Pipeline failed
2024-06-11 13:54:47 -04:00
bc8cb94181 tmp ignore
All checks were successful
ci/woodpecker/push/woodpecker Pipeline was successful
2024-05-02 15:51:23 -05:00
1cb392dbae woodpecker
Some checks failed
ci/woodpecker/push/woodpecker Pipeline failed
2024-05-02 15:48:55 -05:00
f8e04d7342 install pnpm
All checks were successful
ci/woodpecker/push/woodpecker Pipeline was successful
2023-10-24 14:05:49 -05:00
0adaf0c122 try node 20
Some checks failed
ci/woodpecker/push/woodpecker Pipeline failed
2023-10-24 14:05:09 -05:00
f50ec75e01 comment out all the other build stuff
All checks were successful
ci/woodpecker/push/woodpecker Pipeline was successful
2023-10-12 18:34:57 -05:00
183c998199 z
Some checks failed
ci/woodpecker/push/woodpecker Pipeline failed
2023-10-11 17:43:51 -05:00
fe2377b0b4 z
Some checks failed
ci/woodpecker/push/woodpecker Pipeline failed
2023-10-11 17:43:31 -05:00
0c3659055a z
Some checks failed
ci/woodpecker/push/woodpecker Pipeline failed
2023-10-11 17:42:41 -05:00
8670e8cf7b a
Some checks failed
ci/woodpecker/push/woodpecker Pipeline failed
2023-10-11 17:40:21 -05:00
3e07267470 zz
Some checks failed
ci/woodpecker/push/woodpecker Pipeline failed
2023-10-11 17:38:07 -05:00
9ecc011029 a
Some checks failed
ci/woodpecker/push/woodpecker Pipeline failed
2023-10-11 17:36:46 -05:00
e22340a98d test
Some checks failed
ci/woodpecker/push/woodpecker Pipeline failed
2023-10-11 17:34:34 -05:00
b33ba945b6 a
Some checks failed
ci/woodpecker/push/woodpecker Pipeline failed
2023-10-11 17:27:56 -05:00
1e5bef0b6f use agda
Some checks failed
ci/woodpecker/push/woodpecker Pipeline failed
2023-10-11 16:17:08 -05:00
2d7abd47d0 dont be so verbose
All checks were successful
ci/woodpecker/push/woodpecker Pipeline was successful
2023-09-08 05:15:25 -05:00
6468b29dd7 minor edits
All checks were successful
ci/woodpecker/push/woodpecker Pipeline was successful
2023-08-31 22:25:25 -05:00
4a89b35ba3 ok kinda working
Some checks failed
ci/woodpecker/push/woodpecker Pipeline failed
2023-08-31 03:07:03 -05:00
608503637c inductive types wip
All checks were successful
ci/woodpecker/push/woodpecker Pipeline was successful
2023-03-29 15:03:10 -05:00
d6551c4632 Add Forgejo link
All checks were successful
ci/woodpecker/push/woodpecker Pipeline was successful
2023-02-04 01:24:48 -06:00
9336875427 How do secrets work
All checks were successful
ci/woodpecker/push/woodpecker Pipeline was successful
2023-02-04 01:18:38 -06:00
3e90f780aa Wtf
Some checks failed
ci/woodpecker/push/woodpecker Pipeline failed
2023-02-04 01:15:29 -06:00
b19471d9fd Set SSH_SECRET_KEY to 600
Some checks failed
ci/woodpecker/push/woodpecker Pipeline failed
2023-02-04 01:12:21 -06:00
bf5a0ee802 Add openssh
Some checks failed
ci/woodpecker/push/woodpecker Pipeline failed
2023-02-04 01:11:56 -06:00
ac77b241fb Add ssh
Some checks failed
ci/woodpecker/push/woodpecker Pipeline failed
2023-02-04 01:11:28 -06:00
86a217d5f0 Add rsync
Some checks failed
ci/woodpecker/push/woodpecker Pipeline failed
2023-02-04 01:10:53 -06:00
cfb914149d mkdir ssh
Some checks failed
ci/woodpecker/push/woodpecker Pipeline failed
2023-02-04 01:10:28 -06:00
b0188f6c9e Hugo with extensions
Some checks failed
ci/woodpecker/push/woodpecker Pipeline failed
2023-02-04 01:08:47 -06:00
9623a74793 Add woodpecker file
Some checks failed
ci/woodpecker/push/woodpecker Pipeline failed
2023-02-04 01:04:29 -06:00