Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Add issue templates #378

Merged
merged 1 commit into from
Dec 10, 2024
Merged

Add issue templates #378

merged 1 commit into from
Dec 10, 2024

Conversation

mcbarton
Copy link
Collaborator

@mcbarton mcbarton commented Dec 6, 2024

Description

Please include a summary of changes, motivation and context for this PR.

@vgvassilev This PR should improve the quality of issues that people raise for this repo. To get an idea of what happens when people raise issues after this PR, go to my fork and try and raise an issue. People can no longer open blank issues, and instead need to fill in a template issue decided by the yml files inside the issue_template folder. I've tried to make everything in the forms to be mandatory, and should help us debug issues in future as we further develop the forms.

Fixes # (issue)

Type of change

Please tick all options which are relevant.

  • Bug fix
  • New feature
  • Requires documentation updates

Testing

Please describe the test(s) that you added and ran to verify your changes.

Checklist

  • I have read the contribution guide recently

@mcbarton mcbarton requested a review from vgvassilev December 6, 2024 17:32
Copy link

codecov bot commented Dec 6, 2024

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 76.15%. Comparing base (1c3f884) to head (1fe1104).
Report is 8 commits behind head on main.

Additional details and impacted files

Impacted file tree graph

@@           Coverage Diff           @@
##             main     #378   +/-   ##
=======================================
  Coverage   76.15%   76.15%           
=======================================
  Files           8        8           
  Lines        3137     3137           
=======================================
  Hits         2389     2389           
  Misses        748      748           

@mcbarton
Copy link
Collaborator Author

mcbarton commented Dec 9, 2024

@vgvassilev ping

@mcbarton mcbarton merged commit 557e048 into compiler-research:main Dec 10, 2024
42 checks passed
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants