sosy-lab/sv-benchmarks

Adapt PR template to reflect recent changes in task format

MartinSpiessl opened this issue · 2 comments

MartinSpiessl commented

The PR template still talks about cfg files, so we should update it to reflect recent changes (since #1111 was merged we do not need to specify the data model via the cfg files anymore, we can do it in the task definition files themselves).

Doesn't look like I can update the template myself, that is why I resort to creating this issue.

PhilippWendler commented

The PR template is simply this file: https://github.com/sosy-lab/sv-benchmarks/blob/master/.github/PULL_REQUEST_TEMPLATE
You should be able to create a PR to update it?

MartinSpiessl commented

Makes sense, thank you for the hint!

I thought it is somewhere in the github settings and was unaware that there even is such a thing as a .github folder