From d78b81653fcb5c672fdb5dccae1a512111afa0f8 Mon Sep 17 00:00:00 2001 From: Alvaro Gonzalez-Jimenez Date: Tue, 26 May 2026 13:49:19 +0200 Subject: [PATCH 1/2] ci: add workflow_dispatch trigger Lets us re-run CI on any branch via 'gh workflow run CI --ref ' without pushing a marker commit. Useful for re-running on the current HEAD after a flaky failure or after a runtime change (Go toolchain update, Actions runner image change, etc.). Co-Authored-By: Claude Opus 4.7 --- .github/workflows/ci.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 2a1f7c2..0ffa64d 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -8,6 +8,7 @@ name: CI on: push: pull_request: + workflow_dispatch: jobs: build-and-test: From 3d765e5377a782d6a43b504aa61f98fba456c063 Mon Sep 17 00:00:00 2001 From: Alvaro Gonzalez-Jimenez Date: Tue, 26 May 2026 15:14:28 +0200 Subject: [PATCH 2/2] ci: re-trigger after Actions outage recovery Original push d78b816 happened during the GitHub Actions auth-failure outage; its pull_request webhook was lost. Empty commit to fire CI on the current PR head. Co-Authored-By: Claude Opus 4.7