elan: add proofwidget (#477)

sjtug · Jul 3, 2024 · 2808aca · 2808aca
1 parent 2d8bbea
commit 2808aca
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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