fix: add timezone setup to build workflows to fix deprecated attribute linter (#28510)

## Problem

The deprecated attribute linter was failing with timezone database errors:
```
unable to locate share/zoneinfo in the local timezone database at /etc/localtime
```

This was happening because the linter uses `Std.Time.PlainDate.now` to compare dates, which requires timezone information.

## Solution

Add the `szenius/set-timezone@v2.0` action to all build workflows to ensure proper timezone configuration in CI environments.

## Changes

- Added timezone setup step to `.github/build.in.yml`
- Regenerated all build workflow files (`build.yml`, `bors.yml`, `build_fork.yml`)
- The timezone setup runs after cleanup and before jq setup

This should fix the deprecated attribute linter failures in CI.

Co-authored-by: Kim Morrison <477956+kim-em@users.noreply.github.com>

Author: kim-em

.github/build.in.yml

@@ -62,6 +62,10 @@ jobs:
               : # Do nothing on failure, but suppress errors
           fi
 
+      - name: Setup timezone
+        # This is needed so we can use Lean's date library to lint deprecated attributes
+        uses: szenius/set-timezone@1f9716b0f7120e344f0c62bb7b1ee98819aefd42 # v2.0
+
       # The Hoskinson runners may not have jq installed, so do that now.
       - name: 'Setup jq'
         uses: dcarbone/install-jq-action@f0e10f46ff84f4d32178b4b76e1ef180b16f82c3 # v3.1.1

.github/workflows/bors.yml

@@ -72,6 +72,10 @@ jobs:
               : # Do nothing on failure, but suppress errors
           fi
 
+      - name: Setup timezone
+        # This is needed so we can use Lean's date library to lint deprecated attributes
+        uses: szenius/set-timezone@1f9716b0f7120e344f0c62bb7b1ee98819aefd42 # v2.0
+
       # The Hoskinson runners may not have jq installed, so do that now.
       - name: 'Setup jq'
         uses: dcarbone/install-jq-action@f0e10f46ff84f4d32178b4b76e1ef180b16f82c3 # v3.1.1

.github/workflows/build.yml

@@ -79,6 +79,10 @@ jobs:
               : # Do nothing on failure, but suppress errors
           fi
 
+      - name: Setup timezone
+        # This is needed so we can use Lean's date library to lint deprecated attributes
+        uses: szenius/set-timezone@1f9716b0f7120e344f0c62bb7b1ee98819aefd42 # v2.0
+
       # The Hoskinson runners may not have jq installed, so do that now.
       - name: 'Setup jq'
         uses: dcarbone/install-jq-action@f0e10f46ff84f4d32178b4b76e1ef180b16f82c3 # v3.1.1

.github/workflows/build_fork.yml

@@ -76,6 +76,10 @@ jobs:
               : # Do nothing on failure, but suppress errors
           fi
 
+      - name: Setup timezone
+        # This is needed so we can use Lean's date library to lint deprecated attributes
+        uses: szenius/set-timezone@1f9716b0f7120e344f0c62bb7b1ee98819aefd42 # v2.0
+
       # The Hoskinson runners may not have jq installed, so do that now.
       - name: 'Setup jq'
         uses: dcarbone/install-jq-action@f0e10f46ff84f4d32178b4b76e1ef180b16f82c3 # v3.1.1