|
|
efd0b420dd
|
build agda
ci/woodpecker/push/woodpecker Pipeline failed
|
2023-10-11 16:16:32 -05:00 |
|
|
|
11e1601426
|
builder
ci/woodpecker/push/woodpecker Pipeline failed
|
2023-10-11 14:46:16 -05:00 |
|
|
|
1ff3499e81
|
rip
ci/woodpecker/push/woodpecker Pipeline failed
|
2023-10-11 13:42:22 -05:00 |
|
|
|
43a56c941a
|
docker shit
ci/woodpecker/push/woodpecker Pipeline failed
|
2023-10-11 13:09:15 -05:00 |
|
