25 commits

Author	SHA1	Message	Date
Michael Zhang	0adaf0c122	try node 20	2023-10-24 14:05:09 -05:00
Michael Zhang	f50ec75e01	comment out all the other build stuff	2023-10-12 18:34:57 -05:00
Michael Zhang	183c998199	z	2023-10-11 17:43:51 -05:00
Michael Zhang	fe2377b0b4	z	2023-10-11 17:43:31 -05:00
Michael Zhang	0c3659055a	z	2023-10-11 17:42:41 -05:00
Michael Zhang	8670e8cf7b	a	2023-10-11 17:40:21 -05:00
Michael Zhang	3e07267470	zz	2023-10-11 17:38:07 -05:00
Michael Zhang	9ecc011029	a	2023-10-11 17:36:46 -05:00
Michael Zhang	e22340a98d	test	2023-10-11 17:34:34 -05:00
Michael Zhang	b33ba945b6	a	2023-10-11 17:27:56 -05:00
Michael Zhang	1e5bef0b6f	use agda	2023-10-11 16:17:08 -05:00
Michael Zhang	2d7abd47d0	dont be so verbose	2023-09-08 05:15:25 -05:00
Michael Zhang	6468b29dd7	minor edits	2023-08-31 22:25:25 -05:00
Michael Zhang	4a89b35ba3	ok kinda working	2023-08-31 03:07:03 -05:00
Michael Zhang	608503637c	inductive types wip	2023-03-29 15:03:10 -05:00
Michael Zhang	d6551c4632	Add Forgejo link	2023-02-04 01:24:48 -06:00
Michael Zhang	9336875427	How do secrets work	2023-02-04 01:18:38 -06:00
Michael Zhang	3e90f780aa	Wtf	2023-02-04 01:15:29 -06:00
Michael Zhang	b19471d9fd	Set SSH_SECRET_KEY to 600	2023-02-04 01:12:21 -06:00
Michael Zhang	bf5a0ee802	Add openssh	2023-02-04 01:11:56 -06:00
Michael Zhang	ac77b241fb	Add ssh	2023-02-04 01:11:28 -06:00
Michael Zhang	86a217d5f0	Add rsync	2023-02-04 01:10:53 -06:00
Michael Zhang	cfb914149d	mkdir ssh	2023-02-04 01:10:28 -06:00
Michael Zhang	b0188f6c9e	Hugo with extensions	2023-02-04 01:08:47 -06:00
Michael Zhang	9623a74793	Add woodpecker file	2023-02-04 01:04:29 -06:00