From 1e5bef0b6fddca35e7e6214f4ac03fa946e33697 Mon Sep 17 00:00:00 2001 From: Michael Zhang Date: Wed, 11 Oct 2023 16:17:08 -0500 Subject: [PATCH] use agda --- .woodpecker.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.woodpecker.yml b/.woodpecker.yml index 522cd5a..960998b 100644 --- a/.woodpecker.yml +++ b/.woodpecker.yml @@ -1,6 +1,6 @@ pipeline: build: - image: node:18 + image: git.mzhang.io/michael/blog-builder:2.6.4-x86_64 commands: - npm ci - npm run build