Add reproducible builds

.github/workflows/lint.yml

@@ -0,0 +1,53 @@
+# Runs linting related jobs.
+
+name: lint
+
+on:
+  push:
+    branches:
+      - main
+  pull_request:
+    types: [opened, reopened, synchronize]
+
+jobs:
+  version:
+    name: check rust version consistency
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+        with:
+          profile: minimal
+          override: true
+      - name: check rust versions
+        run: ./scripts/check-rust-version.sh
+
+  rustfmt:
+    name: rustfmt nightly on ubuntu-latest
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+      - name: Install minimal Rust with rustfmt & cargo-make
+        uses: actions-rs/toolchain@v1
+        with:
+          profile: minimal
+          toolchain: nightly
+          components: rustfmt
+          override: true
+      - uses: davidB/rust-cargo-make@v1
+      - name: cargo make - format
+        run: cargo make format
+
+  clippy:
+    name: clippy stable on ubuntu-latest
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+      - name: Install minimal Rust with clippy & cargo-make
+        uses: actions-rs/toolchain@v1
+        with:
+          profile: minimal
+          components: clippy
+          override: true
+      - uses: davidB/rust-cargo-make@v1
+      - name: cargo make - clippy
+        run: cargo make clippy

.github/workflows/no-std.yml

@@ -0,0 +1,30 @@
+# Runs no-std related jobs.
+
+name: no-std
+
+on:
+  push:
+    branches:
+      - main
+  pull_request:
+    types: [opened, reopened, synchronize]
+
+jobs:
+  no-std:
+    name: build ${{matrix.toolchain}} no-std for wasm32-unknown-unknown
+    runs-on: ubuntu-latest
+    strategy:
+      fail-fast: false
+      matrix:
+        toolchain: [stable, nightly]
+    steps:
+      - uses: actions/checkout@v4
+      - name: Install Rust
+        uses: actions-rs/toolchain@v1
+        with:
+          toolchain: ${{matrix.toolchain}}
+          override: true
+      - run: rustup target add wasm32-unknown-unknown
+      - uses: davidB/rust-cargo-make@v1
+      - name: cargo make - build-no-std
+        run: cargo make build-no-std

.github/workflows/test.yml

@@ -0,0 +1,32 @@
+# Runs testing related jobs.
+
+name: test
+
+on:
+  push:
+    branches:
+      - main
+  pull_request:
+    types: [opened, reopened, synchronize]
+
+jobs:
+  test:
+    name: test ${{matrix.toolchain}} on ${{matrix.os}} with ${{matrix.args}}
+    runs-on: ${{matrix.os}}-latest
+    strategy:
+      fail-fast: false
+      matrix:
+        toolchain: [stable, nightly]
+        os: [ubuntu]
+        args: ["default", "prove"]
+    timeout-minutes: 30
+    steps:
+      - uses: actions/checkout@v4
+      - name: Install Rust
+        uses: actions-rs/toolchain@v1
+        with:
+          toolchain: ${{matrix.toolchain}}
+          override: true
+      - uses: davidB/rust-cargo-make@v1
+      - name: cargo make - test
+        run: cargo make test-${{matrix.args}}

.gitignore

@@ -2,10 +2,6 @@
 # will have compiled files and executables
 /target/
 
-# Remove Cargo.lock from gitignore if creating an executable, leave it for libraries
-# More information here https://doc.rust-lang.org/cargo/guide/cargo-toml-vs-cargo-lock.html
-Cargo.lock
-
 # These are backup files generated by rustfmt
 **/*.rs.bk
 
@@ -22,4 +18,4 @@ env/
 *.out
 node_modules/
 *DS_Store
-*.iml
+*.iml