|
8f8e2bb4bd
|
update rss
ci/woodpecker/push/deploy Pipeline failed
|
2024-10-22 22:10:58 -05:00 |
|
|
68823357ab
|
Add sharp
ci/woodpecker/push/woodpecker Pipeline failed
|
2024-06-26 19:50:00 -05:00 |
|
|
38e2a8cec5
|
Update dependencies
|
2024-06-26 19:42:02 -05:00 |
|
|
7375f9c81b
|
agda building!
ci/woodpecker/push/woodpecker Pipeline failed
|
2024-06-26 19:17:01 -05:00 |
|
|
0d70a68769
|
Revert "pudate"
ci/woodpecker/push/woodpecker Pipeline was successful
This reverts commit 435ec21f6e .
|
2024-06-21 00:58:59 -05:00 |
|
|
435ec21f6e
|
pudate
ci/woodpecker/push/woodpecker Pipeline failed
|
2024-06-11 13:54:47 -04:00 |
|
|
d85b7f729f
|
update
|
2024-05-29 13:33:23 -05:00 |
|
|
9bb4c462d8
|
update
|
2024-05-02 15:06:19 -05:00 |
|
|
d4fe025437
|
typst
|
2024-04-20 01:14:46 -05:00 |
|
|
025437ca10
|
more sane date format
ci/woodpecker/push/woodpecker Pipeline was successful
|
2023-10-23 21:50:45 -05:00 |
|
|
0e0249d113
|
sad
ci/woodpecker/push/woodpecker Pipeline failed
|
2023-10-12 17:22:58 -05:00 |
|
|
3935a8934c
|
agda fix
ci/woodpecker/push/woodpecker Pipeline failed
|
2023-10-11 12:47:18 -05:00 |
|
|
3833a310e0
|
render agda
ci/woodpecker/push/woodpecker Pipeline failed
|
2023-10-11 11:48:34 -05:00 |
|
|
334e6cb1bf
|
add edit history
ci/woodpecker/push/woodpecker Pipeline was successful
|
2023-10-04 09:16:04 -05:00 |
|
|
f497f3536a
|
compiler?
|
2023-09-08 05:10:52 -05:00 |
|
|
424c056a09
|
fix padding
ci/woodpecker/push/woodpecker Pipeline was successful
|
2023-09-01 19:25:56 -05:00 |
|
|
e94fee5345
|
latexify
ci/woodpecker/push/woodpecker Pipeline was successful
|
2023-09-01 12:05:29 -05:00 |
|
|
8e1fac9bd5
|
admonitions
ci/woodpecker/push/woodpecker Pipeline was successful
|
2023-09-01 10:09:01 -05:00 |
|
|
4a03a76348
|
more opengraph metadata
ci/woodpecker/push/woodpecker Pipeline was successful
|
2023-09-01 07:59:21 -05:00 |
|
|
0ef4b692e4
|
networking?
ci/woodpecker/push/woodpecker Pipeline was successful
|
2023-08-31 23:15:54 -05:00 |
|
|
b29d3dda82
|
mermaid
ci/woodpecker/push/woodpecker Pipeline was successful
|
2023-08-31 19:10:20 -05:00 |
|
|
0c2ac5e521
|
logseq post
|
2023-08-31 10:33:14 -05:00 |
|
|
4a89b35ba3
|
ok kinda working
ci/woodpecker/push/woodpecker Pipeline failed
|
2023-08-31 03:07:03 -05:00 |
|
|
43c5a8f70c
|
progress
|
2023-08-30 22:47:22 -05:00 |
|
|
4b853c6c86
|
init astro
|
2023-08-30 19:30:45 -05:00 |
|