add manual trigger to github actions

[wang-boyu]

There are three failing PRs (#187, #188, #189) but a fix to test cases was merged in another PR #194. I couldn't find a way to manually re-run failed jobs in the three failing PRs. This PR should add a mutual trigger to run jobs.

If I'm missing something and it's possible to re-run jobs, then this PR is not necessary.

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 78.21%. Comparing base (f647e79) to head (8366619).

Additional details and impacted files

@@           Coverage Diff           @@
##             main     #196   +/-   ##
=======================================
  Coverage   78.21%   78.21%           
=======================================
  Files          10       10           
  Lines         693      693           
  Branches      151      151           
=======================================
  Hits          542      542           
  Misses        127      127           
  Partials       24       24           

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

[rht]

If you look at https://github.com/projectmesa/mesa/actions/runs/8207353176/job/22448466927?pr=2067, then the rerun failed jobs exists, even without the workflow_dispatch line in this PR in the projectmesa/mesa's build_lint.yml. How is it done in core Mesa?

[wang-boyu]

Mesa should have the same settings since I copied over the config files from there. Strangely the re-run failed jobs button appears now, which wasn't there previously.

But I also figured out how to re-run tests without these buttons. I checked out the PR branch, did a rebase and force push.

I'll close this PR.