ci: tweak various documentation and build workflow settings

.github/workflows/build.yml

@@ -58,7 +58,7 @@ jobs:
       - name: bazel build //...
         run: |
           nix-shell --argstr ghcVersion '${{ matrix.ghc }}' --run \
-            'bazel build //... --build_tags_filter=ci'
+            'bazel build //... --build_tag_filters=ci'
 
       - name: bazel build //gen
         if: ${{ matrix.ghc == '8107' }}

.github/workflows/documentation.yml

@@ -64,10 +64,10 @@ jobs:
       - name: bazel build //docs
         run: |
           nix-shell --argstr ghcVersion '${{ matrix.ghc }}' --run \
-            'bazel build //docs'
+            'bazel build //docs:site'
 
       - name: Push to GitHub pages
         uses: JamesIves/[email protected]
         with:
           branch: gh-pages
-          folder: bazel-bin/docs/docs
+          folder: bazel-bin/docs/site

WORKSPACE

@@ -21,6 +21,14 @@ versioned_http_archive(
     version = "0.2.0",
 )
 
+versioned_http_archive(
+    name = "rules_pkg",
+    strip_prefix = "rules_pkg-{version}/pkg",
+    url = "https://github.com/bazelbuild/rules_pkg/archive/{version}.tar.gz",
+    version = "8d542763a3959db79175404758f46c7f3f385fa5",
+    sha256 = "dd13c5581146da6abdee49a1a2605cd1dd8fb39bea9a870e0089aa4066b260b6"
+)
+
 versioned_http_archive(
     name = "io_tweag_rules_nixpkgs",
     sha256 = "33fd540d0283cf9956d0a5a640acb1430c81539a84069114beaf9640c96d221a",

config/templates/lens.ede

@@ -42,6 +42,6 @@ import {{ libraryNamespace }}.{{ operation.value.name }}
 {% case shape.value.type %}
 {% when "product" %}
 import {{ libraryNamespace }}.Types.{{ shape.value.name }}
-{% endcase %}  
+{% endcase %}
 {% endfor %}