Zh cn

.all-contributorsrc

@@ -123,6 +123,42 @@
       "contributions": [
         "code"
       ]
+    },
+    {
+      "login": "tiagofneto",
+      "name": "Tiago Neto",
+      "avatar_url": "https://avatars.githubusercontent.com/u/46165861?v=4",
+      "profile": "https://github.com/tiagofneto",
+      "contributions": [
+        "review"
+      ]
+    },
+    {
+      "login": "omahs",
+      "name": "omahs",
+      "avatar_url": "https://avatars.githubusercontent.com/u/73983677?v=4",
+      "profile": "https://github.com/omahs",
+      "contributions": [
+        "code"
+      ]
+    },
+    {
+      "login": "shramee",
+      "name": "Shramee Srivastav",
+      "avatar_url": "https://avatars.githubusercontent.com/u/11048263?v=4",
+      "profile": "http://shramee.me",
+      "contributions": [
+        "code"
+      ]
+    },
+    {
+      "login": "dbejarano820",
+      "name": "Daniel Bejarano",
+      "avatar_url": "https://avatars.githubusercontent.com/u/58019353?v=4",
+      "profile": "https://github.com/dbejarano820",
+      "contributions": [
+        "code"
+      ]
     }
   ],
   "contributorsPerLine": 7,

.github/workflows/cairo-verify/action.yml

@@ -0,0 +1,19 @@
+name: Cairo Verify
+
+description: Run the cairo-verify tools on all cairo programs in the book.
+
+runs:
+  using: composite
+  steps:
+    - uses: actions/checkout@v3
+    - uses: software-mansion/setup-scarb@v1
+      with:
+        scarb-version: "0.7.0"
+
+    - name: Install cairo-verify
+      run: cargo install --path cairo-verify --locked
+      shell: bash
+
+    - name: Run cairo-verify and generate summary
+      run: cairo-verify >> $GITHUB_STEP_SUMMARY
+      shell: bash

.github/workflows/install-mdbook/action.yml

@@ -7,13 +7,13 @@ runs:
   steps:
     # The --locked flag is important for reproducible builds.
     - name: Install mdbook
-      run: cargo install mdbook --locked --version 0.4.28
+      run: cargo install mdbook --locked --version 0.4.31
       shell: bash
 
     - name: Install mdbook-i18n-helpers
       run: cargo install mdbook-i18n-helpers --locked --version 0.1.0
       shell: bash
 
-    - name: Install cairo programs verifier
+    - name: Install mdbook-cairo preprocessor
       run: cargo install --path mdbook-cairo --locked
       shell: bash

.github/workflows/mdbook.yml

@@ -36,33 +36,37 @@ jobs:
       - name: Setup Rust cache
         uses: ./.github/workflows/setup-rust-cache
 
+      - name: Cairo Verify
+        uses: ./.github/workflows/cairo-verify
+
       - name: Install mdbook
         uses: ./.github/workflows/install-mdbook
 
       - name: Build in English
         run: |
           mdbook build -d book
 
+      - name: Copy WASM-Cairo pkg
+        run: |
+          cp -r theme/pkg book
+          cp -r theme/js book
+
       - name: Build all translations
         run: |
           for po_lang in $(cat ./LANGUAGES); do
               echo "::group::Building $po_lang translation"
               MDBOOK_BOOK__LANGUAGE=$po_lang \
               mdbook build -d book/$po_lang
-              mv book/$po_lang/html book/html/$po_lang
               echo "::endgroup::"
           done
 
-      # - name: Verify Cairo programs
-      #   uses: ./.github/workflows/verify-cairo-programs
-
       - name: Setup Pages
         uses: actions/configure-pages@v3
 
       - name: Upload artifact
         uses: actions/upload-pages-artifact@v1
         with:
-          path: ./book/html
+          path: ./book
 
       - name: Deploy to GitHub Pages
         id: deployment

.github/workflows/verify_programs.yml

@@ -0,0 +1,30 @@
+name: Verify Cairo programs compilation
+
+on:
+  pull_request:
+    branches:
+      - main
+
+jobs:
+  compile_and_verify:
+    runs-on: ubuntu-latest
+
+    steps:
+      - name: Checkout
+        uses: actions/checkout@v3
+
+      - name: Setup Scarb
+        uses: software-mansion/setup-scarb@v1
+        with:
+          scarb-version: "0.7.0"
+
+      - name: Setup Rust cache
+        uses: ./.github/workflows/setup-rust-cache
+
+      - name: Install cairo-verify
+        run: cargo install --path cairo-verify --locked
+        shell: bash
+
+      - name: Run cairo-verify and generate summary
+        run: cairo-verify >> $GITHUB_STEP_SUMMARY
+        shell: bash

.gitignore

@@ -4,3 +4,4 @@ output
 
 # Editors tmp files.
 *~
+.idea/

.tool-versions

@@ -0,0 +1 @@
+scarb 0.7.0