Merge pull request #631 from lean-ja/workflow

workflow更新

Author: Seasawher

.github/workflows/ci.yml

@@ -37,8 +37,7 @@ jobs:
       - name: lean action
         uses: leanprover/[email protected]
         with:
-          build-args: "--quiet"
-          test: false
+          build-args: "--log-level=error"
 
   windows_build:
     runs-on: windows-latest
@@ -66,5 +65,5 @@ jobs:
         shell: pwsh
 
       - name: run lake build
-        run: lake build --quiet
+        run: lake build --log-level=error
         shell: pwsh

.github/workflows/update.yml

@@ -1,7 +1,7 @@
 name: Update Lean
 on:
   schedule:
-    - cron: "0 0 * * *"
+    - cron: "0 0 * * 1"
   workflow_dispatch:
 
 jobs:

lakefile.lean

@@ -7,11 +7,9 @@ package «Lean by Example» where
     ⟨`relaxedAutoImplicit, false⟩
   ]
 
-require mdgen from git
-  "https://github.com/Seasawher/mdgen" @ "main"
+require "Seasawher" / "mdgen"
 
-require mathlib from git
-  "https://github.com/leanprover-community/mathlib4.git" @ "master"
+require "leanprover-community" / "mathlib"
 
 @[default_target]
 lean_lib Examples where