no merge: make simple change to gh workflows#601

karlfloersch wants to merge 1 commit intomasterethereum-optimism/optimism:masterfrom

junk/repro-ci-not-running-when-changing-gh-actionethereum-optimism/optimism:junk/repro-ci-not-running-when-changing-gh-actionCopy head branch name to clipboard