cleanup(ci): Explicitly name workflow files that must be kept in sync

[teor2345]

Motivation

It's not clear which workflow files need to be kept in sync.

PR Author Checklist

Check before marking the PR as ready for review:

• Will the PR name make sense to users?
• Does the PR have a priority label?
• Have you added or updated tests?
• Is the documentation up to date?

If a checkbox isn't relevant to the PR, mark it as done.

Solution

Use the full names of the workflow files that need to be kept in sync.

Testing

This is just a documentation change.

Review

This is a low priority cleanup.

Reviewer Checklist

Check before approving the PR:

• Does the PR scope match the ticket?
• Are there enough tests to make sure it works? Do the tests cover the PR motivation?
• Are all the PR blockers dealt with?
  PR blockers can be dealt with in new tickets or PRs.

And check the PR Author checklist is complete.