chore: finalize v1.5.0 promotion (#95)

Promote the guarded Release trigger and publish v1.5.0 from the resulting main merge commit.

Author: Arbousier1

.github/workflows/release.yml

@@ -1,7 +1,10 @@
 name: Release
 
 on:
-  pull_request:
+  # pull_request_target is intentional: pull_request workflows are suppressed when the
+  # promoted dev HEAD carries a CI skip marker. The release job still rejects everything
+  # except an already-merged, same-repository dev -> main pull request.
+  pull_request_target:
     branches:
       - main
     types: