merge: build stamp, theme separation, sharper docs logo

Author: joanroig

.github/workflows/build-and-release-app.yml

@@ -84,30 +84,41 @@ jobs:
       - name: Install dependencies
         run: flutter pub get
 
+      # A single timestamp shared by every dart-define below, so all platforms
+      # in one release report the same build time.
+      - name: Stamp build time
+        shell: bash
+        run: echo "BUILD_TIME=$(date -u +%Y-%m-%dT%H:%M:%SZ)" >> "$GITHUB_ENV"
+
+
       - name: Build Android
         if: matrix.platform == 'android'
         run: >-
           flutter build apk --release
+          --dart-define=ADMINCRAFT_BUILD_TIME=${{ env.BUILD_TIME }}
           --dart-define=ADMINCRAFT_GOOGLE_WEB_CLIENT_ID=${{ vars.ADMINCRAFT_GOOGLE_WEB_CLIENT_ID }}
 
       - name: Build Windows
         if: matrix.platform == 'windows'
         run: >-
           flutter build windows --release
+          --dart-define=ADMINCRAFT_BUILD_TIME=${{ env.BUILD_TIME }}
           --dart-define=ADMINCRAFT_GOOGLE_DESKTOP_CLIENT_ID=${{ vars.ADMINCRAFT_GOOGLE_DESKTOP_CLIENT_ID }}
           --dart-define=ADMINCRAFT_GOOGLE_DESKTOP_CLIENT_SECRET=${{ secrets.ADMINCRAFT_GOOGLE_DESKTOP_CLIENT_SECRET }}
 
       - name: Build macOS
         if: matrix.platform == 'macos'
         run: >-
           flutter build macos --release
+          --dart-define=ADMINCRAFT_BUILD_TIME=${{ env.BUILD_TIME }}
           --dart-define=ADMINCRAFT_GOOGLE_DESKTOP_CLIENT_ID=${{ vars.ADMINCRAFT_GOOGLE_DESKTOP_CLIENT_ID }}
           --dart-define=ADMINCRAFT_GOOGLE_DESKTOP_CLIENT_SECRET=${{ secrets.ADMINCRAFT_GOOGLE_DESKTOP_CLIENT_SECRET }}
 
       - name: Build Linux
         if: matrix.platform == 'linux'
         run: >-
           flutter build linux --release
+          --dart-define=ADMINCRAFT_BUILD_TIME=${{ env.BUILD_TIME }}
           --dart-define=ADMINCRAFT_GOOGLE_DESKTOP_CLIENT_ID=${{ vars.ADMINCRAFT_GOOGLE_DESKTOP_CLIENT_ID }}
           --dart-define=ADMINCRAFT_GOOGLE_DESKTOP_CLIENT_SECRET=${{ secrets.ADMINCRAFT_GOOGLE_DESKTOP_CLIENT_SECRET }}
 

.github/workflows/pages.yml

@@ -47,10 +47,17 @@ jobs:
       - name: Test app
         run: flutter test
 
+      # A single timestamp shared by every dart-define below, so all platforms
+      # in one release report the same build time.
+      - name: Stamp build time
+        shell: bash
+        run: echo "BUILD_TIME=$(date -u +%Y-%m-%dT%H:%M:%SZ)" >> "$GITHUB_ENV"
+
       - name: Build Admincraft web
         run: >-
           flutter build web --release --wasm
           --base-href "${{ steps.pages.outputs.base_path }}/"
+          --dart-define=ADMINCRAFT_BUILD_TIME=${{ env.BUILD_TIME }}
           --dart-define=ADMINCRAFT_GOOGLE_WEB_CLIENT_ID=${{ vars.ADMINCRAFT_GOOGLE_WEB_CLIENT_ID }}
 
       - name: Build documentation inside the web app artifact

docs/stylesheets/extra.css

@@ -35,8 +35,11 @@
   background-image: linear-gradient(90deg, #503321, #805539 55%, #5f7f3b);
 }
 
-.md-header__button.md-logo img,
-.md-header__button.md-logo svg {
+/* The logo is 16px pixel art, so it must scale with hard edges. Material renders
+ * it twice, in the header and in the navigation drawer, and targeting only the
+ * header left the drawer copy smoothly interpolated and blurry. */
+.md-logo img,
+.md-logo svg {
   image-rendering: pixelated;
 }
 

lib/models/app_theme.dart

@@ -7,16 +7,19 @@ enum AppTheme {
     seedColor: Color(0xFF6F523D),
     logoAsset: 'docs/logo/variants/dirt.png',
   ),
+  // Grass and Creeper were nine degrees apart in hue, which Material's tonal
+  // mapping flattened into near-identical schemes. Grass now leans olive and
+  // Creeper toward a vivid spring green, far enough apart to tell at a glance.
   grass(
     label: 'Grass',
-    description: 'Natural and balanced',
-    seedColor: Color(0xFF4F772D),
+    description: 'Olive and outdoorsy',
+    seedColor: Color(0xFF6F8F1E),
     logoAsset: 'docs/logo/variants/grass.png',
   ),
   creeper(
     label: 'Creeper',
     description: 'Bright and energetic',
-    seedColor: Color(0xFF4C8C2B),
+    seedColor: Color(0xFF16A34A),
     logoAsset: 'docs/logo/variants/creeper.png',
   ),
   diamond(
@@ -30,6 +33,14 @@ enum AppTheme {
     description: 'Deep and dramatic',
     seedColor: Color(0xFF654A91),
     logoAsset: 'docs/logo/variants/obsidian_glow.png',
+  ),
+  // Fills the one hue the set was missing. The others sit between brown and
+  // purple going through green and cyan, leaving nothing on the red side.
+  pig(
+    label: 'Pig',
+    description: 'Soft and rosy',
+    seedColor: Color(0xFFD2536B),
+    logoAsset: 'docs/logo/variants/pig.png',
   );
 
   final String label;

lib/utils/build_info.dart

@@ -0,0 +1,41 @@
+/// When this build was produced.
+///
+/// The package version alone does not identify a build: several builds share a
+/// version during development, and a released version says nothing about when
+/// its binary was made. The release workflow passes the time in:
+///
+///   flutter build ... --dart-define=ADMINCRAFT_BUILD_TIME=2026-08-14T10:30:00Z
+///
+/// Local builds leave it empty, which is treated as "unknown" rather than
+/// shown as a wrong value.
+class BuildInfo {
+  static const String _raw = String.fromEnvironment('ADMINCRAFT_BUILD_TIME');
+
+  static bool get isKnown => stamp != null;
+
+  static String _two(int value) => value.toString().padLeft(2, '0');
+
+  /// Compact stamp for display, `20260814-1030Z`, matching the form used
+  /// elsewhere so two builds can be compared at a glance.
+  static String? get stamp {
+    final parsed = _parsed;
+    if (parsed == null) return null;
+
+    return '${parsed.year}${_two(parsed.month)}${_two(parsed.day)}'
+        '-${_two(parsed.hour)}${_two(parsed.minute)}Z';
+  }
+
+  /// Full timestamp for a tooltip, where there is room to be readable.
+  static String? get description {
+    final parsed = _parsed;
+    if (parsed == null) return null;
+
+    return 'Built ${parsed.year}-${_two(parsed.month)}-${_two(parsed.day)} '
+        '${_two(parsed.hour)}:${_two(parsed.minute)} UTC';
+  }
+
+  static DateTime? get _parsed {
+    if (_raw.isEmpty) return null;
+    return DateTime.tryParse(_raw)?.toUtc();
+  }
+}

lib/views/preferences_view.dart

@@ -2,6 +2,7 @@ import 'package:admincraft/models/app_theme.dart';
 import 'package:admincraft/models/model.dart';
 import 'package:admincraft/services/theme_service.dart';
 import 'package:admincraft/utils/toast_utils.dart';
+import 'package:admincraft/utils/build_info.dart';
 import 'package:admincraft/utils/url_utils.dart';
 import 'package:flutter/material.dart';
 import 'package:package_info_plus/package_info_plus.dart';
@@ -213,6 +214,17 @@ class _PreferencesViewState extends State<PreferencesView> {
                       Text(_version.isEmpty
                           ? 'Loading version…'
                           : 'Version $_version'),
+                      // Release builds carry the time they were made, so a
+                      // report can identify the exact binary rather than a
+                      // version several builds share.
+                      if (BuildInfo.isKnown)
+                        Tooltip(
+                          message: BuildInfo.description!,
+                          child: Text(
+                            'Build ${BuildInfo.stamp}',
+                            style: Theme.of(context).textTheme.bodySmall,
+                          ),
+                        ),
                       const SizedBox(height: 12),
                       Wrap(
                         spacing: 8,

pubspec.yaml

@@ -74,6 +74,7 @@ flutter:
     - docs/logo/variants/creeper.png
     - docs/logo/variants/diamond.png
     - docs/logo/variants/obsidian_glow.png
+    - docs/logo/variants/pig.png
     # Item icons from mcicons (MIT), named after Minecraft identifiers.
     # See the credits in README.md.
     - assets/mcicons/