refactor: Move the examples workspace manifest into examples director…

…y. Use it in CI. (FuelLabs#4145)

## Description

This moves the examples workspace manifest introduced in FuelLabs#4118 into the
`examples/` directory and cleans it up a bit.

We also now integrate the examples workspace into CI, making the old
`examples-checker` script redundant. This old script is also removed as
a part of this PR.

## Checklist

- [x] I have linked to any relevant issues.
- [x] I have commented my code, particularly in hard-to-understand
areas.
- [x] I have updated the documentation where relevant (API docs, the
reference, and the Sway book).
- [x] I have added tests that prove my fix is effective or that my
feature works.
- [x] I have added (or requested a maintainer to add) the necessary
`Breaking*` or `New Feature` labels where relevant.
- [x] I have done my best to ensure that my PR adheres to [the Fuel Labs
Code Review
Standards](https://github.com/FuelLabs/rfcs/blob/master/text/code-standards/external-contributors.md).
- [x] I have requested a review from the relevant team or maintainers.

.github/workflows/ci.yml

@@ -56,12 +56,8 @@ jobs:
         with:
           toolchain: ${{ env.RUST_VERSION }}
       - uses: Swatinem/rust-cache@v2
-      - name: Install Forc
-        run: cargo install --locked --debug --path ./forc
-      - name: Install Forc fmt
-        run: cargo install --locked --debug --path ./forc-plugins/forc-fmt
-      - name: Build Sway examples
-        run: cargo run --locked --bin examples-checker build --all-examples
+      - name: Build Sway examples workspace
+        run: cargo run --locked -p forc -- build --locked --path ./examples/Forc.toml
 
   forc-fmt-check-sway-examples:
     runs-on: ubuntu-latest
@@ -72,12 +68,8 @@ jobs:
         with:
           toolchain: ${{ env.RUST_VERSION }}
       - uses: Swatinem/rust-cache@v2
-      - name: Install Forc
-        run: cargo install --locked --debug --path ./forc
-      - name: Install Forc fmt
-        run: cargo install --locked --debug --path ./forc-plugins/forc-fmt
       - name: Check Sway examples formatting
-        run: cargo run --locked --bin examples-checker fmt --all-examples
+        run: cargo run --locked -p forc-fmt -- --check --path ./examples/Forc.toml
 
   build-mdbook:
     runs-on: ubuntu-latest

Cargo.toml

@@ -11,7 +11,6 @@ members = [
     "forc-test",
     "forc-tracing",
     "forc-util",
-    "scripts/examples-checker",
     "scripts/mdbook-forc-documenter",
     "sway-ast",
     "sway-core",

ci_checks.sh

@@ -34,8 +34,8 @@ forc build --path sway-lib-core &&
 forc test --path sway-lib-core &&
 forc build --path sway-lib-std &&
 forc test --path sway-lib-std &&
-cargo run --locked --bin examples-checker build --all-examples &&
-cargo run --locked --bin examples-checker fmt --all-examples &&
+cargo run --locked -p forc -- build --locked --path ./examples/Forc.toml &&
+cargo run --locked -p forc-fmt -- --check --path ./examples/Forc.toml &&
 rm -Rf test-proj &&
 forc new test-proj &&
 echo "std = { path = \"../sway-lib-std/\" }" >> test-proj/Forc.toml &&

examples/Forc.lock

@@ -0,0 +1,153 @@
+[[package]]
+name = 'abi_supertraits'
+source = 'member'
+
+[[package]]
+name = 'array'
+source = 'member'
+dependencies = ['std']
+
+[[package]]
+name = 'asm_return_tuple_pointer'
+source = 'member'
+dependencies = ['std']
+
+[[package]]
+name = 'break_and_continue'
+source = 'member'
+dependencies = ['core']
+
+[[package]]
+name = 'cei_analysis'
+source = 'member'
+dependencies = ['std']
+
+[[package]]
+name = 'config_time_constants'
+source = 'member'
+
+[[package]]
+name = 'core'
+source = 'path+from-root-087D5D776F294F03'
+
+[[package]]
+name = 'counter'
+source = 'member'
+dependencies = ['std']
+
+[[package]]
+name = 'enums'
+source = 'member'
+
+[[package]]
+name = 'fizzbuzz'
+source = 'member'
+dependencies = ['std']
+
+[[package]]
+name = 'hashing'
+source = 'member'
+dependencies = ['std']
+
+[[package]]
+name = 'identity'
+source = 'member'
+dependencies = ['std']
+
+[[package]]
+name = 'liquidity_pool'
+source = 'member'
+dependencies = ['std']
+
+[[package]]
+name = 'match_statements'
+source = 'member'
+dependencies = ['std']
+
+[[package]]
+name = 'msg_sender'
+source = 'member'
+dependencies = ['std']
+
+[[package]]
+name = 'mut_ref_params'
+source = 'member'
+dependencies = ['std']
+
+[[package]]
+name = 'native_token'
+source = 'member'
+dependencies = ['std']
+
+[[package]]
+name = 'ownership'
+source = 'member'
+dependencies = ['std']
+
+[[package]]
+name = 'signatures'
+source = 'member'
+dependencies = ['std']
+
+[[package]]
+name = 'std'
+source = 'path+from-root-087D5D776F294F03'
+dependencies = ['core']
+
+[[package]]
+name = 'storage_example'
+source = 'member'
+dependencies = ['std']
+
+[[package]]
+name = 'storage_map'
+source = 'member'
+dependencies = ['std']
+
+[[package]]
+name = 'storage_variables'
+source = 'member'
+
+[[package]]
+name = 'storage_vec'
+source = 'member'
+dependencies = ['std']
+
+[[package]]
+name = 'structs'
+source = 'member'
+
+[[package]]
+name = 'subcurrency'
+source = 'member'
+dependencies = ['std']
+
+[[package]]
+name = 'tuples'
+source = 'member'
+
+[[package]]
+name = 'vec'
+source = 'member'
+dependencies = ['std']
+
+[[package]]
+name = 'wallet_abi'
+source = 'member'
+dependencies = ['std']
+
+[[package]]
+name = 'wallet_contract_caller_script'
+source = 'member'
+dependencies = [
+    'std',
+    'wallet_abi',
+]
+
+[[package]]
+name = 'wallet_smart_contract'
+source = 'member'
+dependencies = [
+    'std',
+    'wallet_abi',
+]

examples/Forc.toml

@@ -0,0 +1,34 @@
+# This workspace is a collection of packages that manages all the example contracts
+# in the Sway repo, where each example is a package member of the workspace.
+[workspace]
+members = [
+  "abi_supertraits",
+  "arrays",
+  "asm_return_tuple_pointer",
+  "break_and_continue",
+  "cei_analysis",
+  "config_time_constants",
+  "counter",
+  "enums",
+  "fizzbuzz",
+  "hashing",
+  "identity",
+  "liquidity_pool",
+  "match_statements",
+  "msg_sender",
+  "native_token",
+  "ownership",
+  "ref_mut_params",
+  "signatures",
+  "storage_example",
+  "storage_map",
+  "storage_variables",
+  "storage_vec",
+  "structs",
+  "subcurrency",
+  "tuples",
+  "vec",
+  "wallet_abi",
+  "wallet_contract_caller_script",
+  "wallet_smart_contract",
+]