rename sample projects

Author: joneugster

.github/workflows/build.yml

@@ -41,7 +41,7 @@ jobs:
       - name: Install elan
         uses: leanprover/lean-action@v1
         with:
-          lake-package-directory: Projects/mathlib-demo
+          lake-package-directory: Projects/MathlibDemo
           use-mathlib-cache: false
           use-github-cache: false
           auto-config: false
@@ -52,14 +52,14 @@ jobs:
       - name: Build sample projects
         run: npm run build:server
 
-      - name: Ensure sample project 'mathlib-demo' is built
+      - name: Ensure sample project 'MathlibDemo' is built
         run: |
-          cd Projects/mathlib-demo
+          cd Projects/MathlibDemo
           lake build --no-build
 
-      - name: Ensure sample project 'stable' is built
+      - name: Ensure sample project 'Stable' is built
         run: |
-          cd Projects/stable
+          cd Projects/Stable
           lake build --no-build
 
       - name: Install dependencies

Projects/mathlib-demo/.gitignore Projects/MathlibDemo/.gitignoreProjects/mathlib-demo/.gitignore renamed to Projects/MathlibDemo/.gitignore

@@ -0,0 +1,8 @@
+import Mathlib
+import ProofWidgets
+import Plausible
+
+import MathlibDemo.Bijection
+import MathlibDemo.Logic
+import MathlibDemo.Rational
+import MathlibDemo.Ring

Projects/MathlibDemo/MathlibDemo.lean

@@ -5,7 +5,7 @@
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "37f686cf27093bcbde5a9eb2f1519ef730de1828",
+   "rev": "d6bc0a15829bf478c4ab90b491dd5e7f000021b1",
    "name": "mathlib",
    "manifestFile": "lake-manifest.json",
    "inputRev": "master",
@@ -91,5 +91,5 @@
    "inputRev": "main",
    "inherited": true,
    "configFile": "lakefile.toml"}],
- "name": "mathlibLatest",
+ "name": "MathlibDemo",
  "lakeDir": ".lake"}

…athlib-demo/MathlibLatest/Bijection.lean …s/MathlibDemo/MathlibDemo/Bijection.leanProjects/mathlib-demo/MathlibLatest/Bijection.lean renamed to Projects/MathlibDemo/MathlibDemo/Bijection.lean Projects/mathlib-demo/MathlibLatest/Bijection.lean renamed to Projects/MathlibDemo/MathlibDemo/Bijection.lean

@@ -1,5 +1,5 @@
-name = "mathlibLatest"
-defaultTargets = ["MathlibLatest"]
+name = "MathlibDemo"
+defaultTargets = ["MathlibDemo"]
 
 [leanOptions]
 pp.unicode.fun = true
@@ -10,4 +10,4 @@ git = "https://github.com/leanprover-community/mathlib4"
 rev = "master"
 
 [[lean_lib]]
-name = "MathlibLatest"
+name = "MathlibDemo"