actions test

Author: rasmus-kirk

.github/workflows/release-reproducible-smart-contract.yaml

@@ -10,7 +10,7 @@ on:
 env:
   REGISTRY: docker.io
   SERVICE_NAME: 'verifiable-sc'
-  SOURCE_IMAGE_TAG: 'rust:1.85.0'
+  RUST_VERSION: '1.85.0'
 
 jobs:
   build-and-push-image:
@@ -21,50 +21,32 @@ jobs:
         uses: actions/checkout@v4
         with:
           submodules: recursive
-      - run: |
-          rustup update stable
-          rustup default stable
-          rustup target add wasm32-unknown-unknown
-      # - uses: cachix/install-nix-action@v31
+      - uses: actions-rust-lang/setup-rust-toolchain@v1
+        with:
+          toolchain: ${{ env.RUST_VERSION }}
+          target: wasm32-unknown-unknown
+      - run: docker build -f ./reproducible/build.Dockerfile --build-arg source_image="rust:$RUST_VERSION" -t "concordium/$SERVICE_NAME:$RUST_VERSION" ./reproducible
       - name: Test smart contract
-        env:
-          TAG: ${{ github.ref_name }}
-        working-directory: ./concordium-base/smart-contracts/rust-contracts/example-contracts/fib
+        working-directory: ./reproducible/example-contract
         run: |
-          docker build -f "$GITHUB_WORKSPACE/reproducible/build.Dockerfile" --build-arg source_image="$SOURCE_IMAGE_TAG" -t local-image "$GITHUB_WORKSPACE/reproducible"
-          cargo run --manifest-path "$GITHUB_WORKSPACE/cargo-concordium/Cargo.toml"
-          # cargo run --manifest-path "$GITHUB_WORKSPACE/cargo-concordium/Cargo.toml" -- concordium build --verifiable "localhost/local-image:latest"
-          # cargo run --manifest-path "$GITHUB_WORKSPACE/cargo-concordium/Cargo.toml" -- concordium verify-build --module ./concordium-out/module.wasm.v1 --source ./concordium-out/module.wasm.v1.tar
+            CARGO_CONCORDIUM="cargo run --manifest-path $GITHUB_WORKSPACE/cargo-concordium/Cargo.toml --target x86_64-unknown-linux-gnu -- concordium"
+            $CARGO_CONCORDIUM build --verifiable "concordium/$SERVICE_NAME:$RUST_VERSION"
+            $CARGO_CONCORDIUM verify-build --module ./concordium-out/module.wasm.v1 --source ./concordium-out/module.wasm.v1.tar
       - name: Extract version from git tag
-        id: meta
         env:
           TAG: ${{ github.ref_name }}
         run: |
           # Extract version by splitting on "/" and taking the second part
           TAG_VERSION=$(echo "$TAG" | cut -d '/' -f2)
-          IMG_VERSION=$(echo "$SOURCE_IMAGE_TAG" | cut -d ':' -f2)
-
-          if [ $TAG_VERSION != $IMG_VERSION ]; then
-              echo "Tag version does not match the source image version."
+          if [ "$TAG_VERSION" != "$RUST_VERSION" ]; then
+              echo "Tag version does not match the declared rust version."
               exit 1
           fi
-
-          # Save tag as fx "docker.io/concordium/verifiable-sc-1.85.0"
-          echo "tag=$REGISTRY/concordium/$SERVICE_NAME-$TAG_VERSION" >> $GITHUB_OUTPUT
-      # Uses the `docker/login-action` action to log in to the Container registry.
       # - name: Log in to the Container registry
       #   uses: docker/login-action@65b78e6e13532edd9afa3aa52ac7964289d1a9c1
       #   with:
       #     registry: ${{ env.REGISTRY }}
       #     username: ${{ secrets.DOCKERHUB_USERNAME }}
       #     password: ${{ secrets.DOCKERHUB_TOKEN }}
-      # - name: Build and push Docker image
-      #   uses: docker/build-push-action@f2a1d5e99d037542a71f64918e516c093c6f3fc4
-      #   with:
-      #     context: .
-      #     file: ./reproducible/build.Dockerfile
-      #     push: true
-      #     platforms: linux/amd64
-      #     tags: ${{ steps.meta.outputs.tag }}
-      #     build-args: |
-      #       source_image=${{ env.SOURCE_IMAGE_TAG }}
+      # - name: Push the image
+      #   run: docker push "concordium/$SERVICE_NAME:$RUST_VERSION"

reproducible/build.Dockerfile

@@ -5,7 +5,7 @@
 # to copy data in and out of the container. The image also adds
 # wasm32-unknown-unknown target.
 
-ARG source_image=rust:1.90.0
+ARG source_image=rust:1.86.0
 FROM ${source_image} AS build
 
 RUN rustup target add wasm32-unknown-unknown

reproducible/example-contract/Cargo.lock

@@ -0,0 +1,28 @@
+[package]
+name = "piggy-bank-part1"
+version = "0.1.1"
+authors = ["Concordium <developers@concordium.com>"]
+edition = "2021"
+license = "MPL-2.0"
+description = "Piggy bank smart contract part 1."
+homepage = "https://github.com/concordium/concordium-rust-smart-contracts"
+repository = "https://github.com/concordium/concordium-rust-smart-contracts"
+readme = "../README.md"
+
+[lib]
+crate-type = ["cdylib", "rlib"]
+
+[features]
+default = ["std", "bump_alloc"]
+std = ["concordium-std/std"]
+bump_alloc = ["concordium-std/bump_alloc"]
+
+[dependencies]
+concordium-std = "10"
+# [dependencies.concordium-std]
+# version = "10"
+# path = "../../../concordium-std"
+# default-features = false
+
+[profile.release]
+opt-level = 3

reproducible/example-contract/Cargo.toml

@@ -0,0 +1,35 @@
+use concordium_std::*;
+
+#[derive(Debug, SchemaType, Serialize, PartialEq, Eq, Clone, Copy)]
+enum PiggyBankState {
+    Intact,
+    Smashed,
+}
+
+#[init(contract = "PiggyBank")]
+fn piggy_init(_ctx: &InitContext, _state_builder: &mut StateBuilder) -> InitResult<PiggyBankState> {
+    Ok(PiggyBankState::Intact)
+}
+
+#[receive(contract = "PiggyBank", name = "insert", payable)]
+fn piggy_insert(
+    _ctx: &ReceiveContext,
+    host: &Host<PiggyBankState>,
+    _amount: Amount,
+) -> ReceiveResult<()> {
+    ensure!(*host.state() == PiggyBankState::Intact);
+    Ok(())
+}
+
+#[receive(contract = "PiggyBank", name = "smash", mutable)]
+fn piggy_smash(ctx: &ReceiveContext, host: &mut Host<PiggyBankState>) -> ReceiveResult<()> {
+    let owner = ctx.owner();
+    let sender = ctx.sender();
+
+    ensure!(sender.matches_account(&owner));
+    ensure!(*host.state() == PiggyBankState::Intact);
+    *host.state_mut() = PiggyBankState::Smashed;
+
+    let balance = host.self_balance();
+    Ok(host.invoke_transfer(&owner, balance)?)
+}