Allow crawling for release docs builds

docs/docs.sh

@@ -67,8 +67,13 @@ if [ $arg1 == "build" ]; then
 
     # If the environmental value IS_RELEASE is set to true, then DONT generate the robots.txt file
     if [ "$IS_RELEASE" != "true" ]; then
+        echo "Not a release build, set IS_RELEASE to true to allow crawling."
         echo "User-agent: *" > ./web/robots.txt
         echo "Disallow: /" >> ./web/robots.txt
+    else
+        echo "Release build!"
+        echo "User-agent: *" > ./web/robots.txt
+        echo "Disallow:" >> ./web/robots.txt
     fi
 
 
@@ -127,14 +132,14 @@ elif [ $arg1 == "serve" ]; then
 
     drift_dev
 
-    dart run build_runner build --delete-conflicting-outputs 
+    dart run build_runner build --delete-conflicting-outputs
     if [ $? -ne 0 ]; then
         echo "Failed to build the project"
         exit 1
     fi
 
     run_webdev
-    
+
     build_container
 
     serve_mkdocs &

docs/lib/snippets/migrations/tests/generated_migrations/schema.dart

@@ -18,7 +18,9 @@ class GeneratedHelper implements SchemaInstantiationHelper {
       case 3:
         return v3.DatabaseAtV3(db);
       default:
-        throw MissingSchemaException(version, const {1, 2, 3});
+        throw MissingSchemaException(version, versions);
     }
   }
+
+  static const versions = const [1, 2, 3];
 }