Merge branch 'main' into extended-scripts

.gitlab-ci.yml

@@ -4,6 +4,9 @@ stages:
   - build
 
 build-job:
+  only: 
+    refs:
+      - main
   stage: build
   script:
     - stack build

lib/Properties.hs

@@ -227,6 +227,9 @@ checkLayer = do
 
 checkObjectProperty :: Object -> Property -> LintWriter Layer
 checkObjectProperty obj p@(Property name _) = case name of
+  "url" -> unwrapURI (Proxy @"website") p
+    (dependsOn . Link)
+    (const $ forbid "using \"url\" to open local html files is disallowed.")
   "url" -> do
     pure ()
     unwrapURI (Proxy @"website") p
@@ -408,7 +411,7 @@ checkTileLayerProperty p@(Property name _value) = case name of
       suggestProperty $ Property "openWebsiteTrigger" (StrProp "onaction")
       unwrapURI (Proxy @"website") p
         (dependsOn . Link)
-        (dependsOn . Local)
+        (const $ forbid "using openWebsite to access local html files is disallowed.")
     "openWebsiteTrigger" -> do
       isString p
       requireProperty "openWebsite"