CI: various cleanups around examples and CI (#33)

Summary:
- chore: fix typo and reuse the upstream constraint
- chore: ignore MODULE.bazel.lock
- chore: use latest bazel version by default
- chore: use the latest platforms package
- ci: change the tested examples
- chore: remove bzlmod example
- chore: add MODULE.bazel to remaining examples

.bazelversion

@@ -1 +1 @@
-6.4.0
+7.0.0

.github/workflows/workflow.yml

@@ -39,9 +39,8 @@ jobs:
     strategy:
       matrix:
         example:
-          - bzlmod
           - check_glob
-          - released_example
+          - optional_attributes
 
     steps:
       - uses: actions/checkout@v4

.gitignore

@@ -1,3 +1,4 @@
 bazel-*
 user.bazelrc
 /release/
+MODULE.bazel.lock

BUILD.bazel

@@ -18,19 +18,18 @@ alias(
     visibility = ["//:__subpackages__"],
 )
 
-constraint_setting(name = "cpu")
 constraint_value(
     name = "armv6hf",
-    constraint_setting = ":cpu",
+    constraint_setting = "@platforms//cpu",
 )
 
-# rasberry pi
+# Raspberry Pi
 config_setting(
     name = "linux_armv6hf",
     constraint_values = [
         "@platforms//os:linux",
         "//:armv6hf",
-    ]
+    ],
 )
 
 config_setting(

MODULE.bazel

@@ -4,16 +4,16 @@ module(
     compatibility_level = 1,
 )
 
-bazel_dep(name = "platforms", version = "0.0.7")
+bazel_dep(name = "platforms", version = "0.0.8")
 
 deps = use_extension("//internal:extensions.bzl", "shellcheck_dependencies")
 use_repo(
     deps,
     "shellcheck_darwin_aarch64",
     "shellcheck_darwin_x86_64",
-    "shellcheck_linux_x86_64",
     "shellcheck_linux_aarch64",
     "shellcheck_linux_armv6hf",
+    "shellcheck_linux_x86_64",
     "shellcheck_windows_x86_64",
 )