Don't run GitHub build workflow twice for Dependabot

.github/workflows/build.yml

@@ -1,6 +1,13 @@
 name: Build
 
-on: [push, pull_request]
+on:
+  push:
+    branches-ignore:
+      # Ignore Dependabot branches because it will also open a pull request, which would cause the
+      # workflow to redundantly run twice
+      - dependabot/**
+  pull_request:
+
 
 permissions:
   contents: read # to fetch code (actions/checkout)