From 93e2655d479dde3c5b7b3ce5f2163e49033ff7e8 Mon Sep 17 00:00:00 2001 From: Erik Demaine Date: Fri, 10 May 2024 13:35:00 -0400 Subject: [PATCH] chore: allow manual dispatch of screenshotter workflow --- .github/workflows/screenshotter.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/workflows/screenshotter.yml b/.github/workflows/screenshotter.yml index 470302e025..5a1aa9a2e0 100644 --- a/.github/workflows/screenshotter.yml +++ b/.github/workflows/screenshotter.yml @@ -5,6 +5,7 @@ on: branches: [ main ] pull_request_target: branches: [ main ] + workflow_dispatch: jobs: screenshotter: