flutter fixes and pipeline speedup

lib/components/pages/dashboard.dart

@@ -76,8 +76,9 @@ class _DashboardState extends State<Dashboard> {
               if (isInitialLoading)
                 Positioned.fill(
                   child: Container(
-                    color:
-                        Theme.of(context).colorScheme.surface.withOpacity(0.7),
+                    color: Theme.of(
+                      context,
+                    ).colorScheme.surface.withOpacity(0.7),
                     child: const Center(
                       child: Column(
                         mainAxisSize: MainAxisSize.min,
@@ -183,7 +184,8 @@ class _DashboardState extends State<Dashboard> {
         _buildCard(
           context,
           title: 'On this day',
-          action: data.onThisDay
+          action:
+              data.onThisDay
                       .where((leg) => leg.beginTime.year != DateTime.now().year)
                       .length >
                   5
@@ -328,10 +330,10 @@ class _DashboardState extends State<Dashboard> {
   }
 
   Widget _buildTripsCard(BuildContext context, DataService data) {
-    final trips_unsorted = data.trips;
+    final tripsUnsorted = data.trips;
     List trips = [];
-    if (trips_unsorted.isNotEmpty) {
-      trips = [...trips_unsorted]..sort((a, b) => b.tripId.compareTo(a.tripId));
+    if (tripsUnsorted.isNotEmpty) {
+      trips = [...tripsUnsorted]..sort((a, b) => b.tripId.compareTo(a.tripId));
     }
     return _buildCard(
       context,