|
|
726554826a
|
fix deploy
ci/woodpecker/push/woodpecker Pipeline was successful
|
2024-06-26 20:44:17 -05:00 |
|
|
|
6324b12c33
|
Update builder
ci/woodpecker/push/woodpecker Pipeline failed
|
2024-06-26 20:38:45 -05:00 |
|
|
|
b574a929a7
|
Update
ci/woodpecker/push/woodpecker Pipeline failed
|
2024-06-26 20:29:52 -05:00 |
|
|
|
4f88615c31
|
Update builder
ci/woodpecker/push/woodpecker Pipeline failed
|
2024-06-26 19:47:02 -05:00 |
|
|
|
7375f9c81b
|
agda building!
ci/woodpecker/push/woodpecker Pipeline failed
|
2024-06-26 19:17:01 -05:00 |
|
|
|
b5a5f9cf0a
|
nix
|
2024-06-26 18:18:25 -05:00 |
|
