From 4c67ab956c66d567af1131b57ec7c080a5d5f321 Mon Sep 17 00:00:00 2001 From: timechess Date: Wed, 3 Jul 2024 13:41:32 +0800 Subject: [PATCH] elan: add proofwidget --- config.siyuan.yaml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/config.siyuan.yaml b/config.siyuan.yaml index c5195b6..39eee09 100644 --- a/config.siyuan.yaml +++ b/config.siyuan.yaml @@ -484,7 +484,7 @@ repos: <<: *oneshot_common # elan - type: shell_script - script: /worker-script/mirror-clone-v2.sh --workers 4 --target-type s3 --s3-prefix elan --s3-buffer-path /var/cache --s3-scan-metadata --print-plan 100 elan --retain-elan-versions 5 --retain-lean-versions 10 --retain-lean-nightly-versions 14 --retain-glean-versions 1 + script: /worker-script/mirror-clone-v2.sh --workers 4 --target-type s3 --s3-prefix elan --s3-buffer-path /var/cache --s3-scan-metadata --print-plan 100 elan --retain-elan-versions 5 --retain-lean-versions 10 --retain-lean-nightly-versions 14 --retain-glean-versions 1 --retain-proofwidgets-versions 10 serve_mode: mirror_intel interval: 7000 name: elan