Skip to content

Commit

Permalink
Merge pull request #907 from nojaf/PR-note
Browse files Browse the repository at this point in the history
Add pull request template.
  • Loading branch information
nojaf authored Mar 15, 2024
2 parents 0a310f2 + f6a8f0a commit b50b70e
Showing 1 changed file with 19 additions and 0 deletions.
19 changes: 19 additions & 0 deletions .github/pull_request_template.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,19 @@
# Before you go

Hi there! Thank you for your contribution to our project. To help maintain the quality of our codebase, our Continuous Integration (CI) system will automatically run several checks on your submission. To streamline the process, we kindly ask you to perform these checks locally before pushing your changes:

To execute all build scripts, please run:

```shell
dotnet fsi build.fsx
```

If you encounter any formatting issues, you can auto-correct them by running:

```shell
dotnet fantomas build.fsx src tests docs
```

Should any tests fail, please review and adjust your changes accordingly.

We appreciate your efforts to contribute and look forward to reviewing your pull request!

0 comments on commit b50b70e

Please sign in to comment.