ci: fix Debian publish checks

Author: huitseeker

.github/workflows/cleanup-workflows.yml

@@ -129,6 +129,7 @@ jobs:
             local id="$1"
             local cursor="$2"
 
+            # shellcheck disable=SC2016 # GraphQL variables use $, not shell expansion.
             gh api graphql -F workflowId="$id" -F after="$cursor" \
               -f query='query($workflowId: ID!, $after: String) {
                   node(id: $workflowId) {
@@ -151,22 +152,31 @@ jobs:
           widths_name=30
           widths_count=14
           widths_total=12
-          widths_table=$(( $widths_index + 3 + $widths_name + 3 + $widths_count + 3 + $widths_total ))
+          widths_table=$((widths_index + 3 + widths_name + 3 + widths_count + 3 + widths_total))
 
           # Repeats a character a given number of times.
           repeat_char() {
             local char=$1
             local count=$2
-            printf "%0.s$char" $(seq 1 $count)
+            local i
+
+            for ((i = 0; i < count; i++)); do
+              printf "%s" "$char"
+            done
           }
 
           # Prints the given header as `==== <header> ====` to match the table layout.
           print_table_header() {
             local header="$1"
             local header_len=${#header}
-            local left_pad=$(( ( $widths_table - header_len - 2) / 2 ))
-            local right_pad=$(( $widths_table - header_len - 2 - left_pad ))
-            printf " \n%s %s %s\n" $(repeat_char = $left_pad) "$header" $(repeat_char = $right_pad)
+            local left_pad=$(((widths_table - header_len - 2) / 2))
+            local right_pad=$((widths_table - header_len - 2 - left_pad))
+            local left_fill
+            local right_fill
+
+            left_fill=$(repeat_char "=" "$left_pad")
+            right_fill=$(repeat_char "=" "$right_pad")
+            printf " \n%s %s %s\n" "$left_fill" "$header" "$right_fill"
           }
 
           # Prints |---+---+---+---| with appropriate widths to accomodate the table headers.
@@ -251,9 +261,9 @@ jobs:
               print_table_row "[$index/$n_workflows]" "$name" "$count" "$total"
 
               if [ "$MODE" = "execute" ]; then
-                for run_id in $run_ids; do
+                while IFS= read -r run_id; do
                   gh run delete "$run_id" >/dev/null
-                done
+                done <<< "$run_ids"
               fi
 
               [ "$has_next" != "true" ] && break

.github/workflows/publish-debian-all.yml

@@ -72,32 +72,6 @@ jobs:
           crate: miden-remote-prover
           arch: ${{ matrix.arch }}
 
-  publish-prover-proxy:
-    name: Publish Prover Proxy ${{ matrix.arch }} Debian
-    permissions:
-      contents: write
-    strategy:
-      matrix:
-        arch: [amd64, arm64]
-    runs-on:
-      labels: ${{ matrix.arch == 'arm64' && 'ubuntu-24.04-arm' || 'ubuntu-24.04' }}
-    steps:
-      - name: Checkout repo
-        uses: actions/checkout@34e114876b0b11c390a56381ad16ebd13914f8d5 # v4.3.1
-        with:
-          fetch-depth: 0
-          persist-credentials: false
-      - name: Build and Publish Prover Proxy
-        uses: ./.github/actions/debian
-        with:
-          github_token: ${{ secrets.GITHUB_TOKEN }}
-          gitref: ${{ env.version }}
-          crate_dir: remote-prover
-          package: miden-prover-proxy
-          packaging_dir: prover-proxy
-          crate: miden-remote-prover
-          arch: ${{ matrix.arch }}
-
   publish-network-monitor:
     name: Publish Network Monitor ${{ matrix.arch }} Debian
     permissions:

crates/proto/build.rs

@@ -81,7 +81,8 @@ fn rustfmt_generated(dir: &Path) -> miette::Result<()> {
         return Ok(());
     }
 
-    let status = match Command::new("rustfmt").args(&rs_files).status() {
+    let status = match Command::new("rustfmt").args(["--edition", "2024"]).args(&rs_files).status()
+    {
         Err(e) if e.kind() == ErrorKind::NotFound => {
             // rustfmt is not installed, skip without an error
             ExitStatus::default()