Restrict push trigger to master branch to prevent duplicate test runs

[Copilot]

Workflow specifies on: [push, pull_request] without branch filtering, causing tests to run twice on every PR push—once for the push event and once for the pull_request event.

Changes

• Restrict push trigger to master branch only
• Keep pull_request unrestricted for PR coverage

on:
  push:
    branches:
      - master
  pull_request:

Original prompt

---

This section details on the original issue you should resolve

<issue_title>tests run twice in pull requests</issue_title>
<issue_description>The github workflow to run tests specifies on: [push, pull_request] but it doesn't restrict the "push" event to master branch, so every push on a pull request triggers a second run of the tests </issue_description>

Comments on the Issue (you are @copilot in this section)

• Fixes tests run twice in pull requests #253

---

💬 We'd love your input! Share your thoughts on Copilot coding agent in our 2 minute survey.