Making Pull Requests - oilshell/oil GitHub Wiki

Back to Contributing

2022-09-20: In progress

1. Instructions on using the CI

2. What should be in the commit description

   • how you tested it!
   • what new tests pass?

3. Types of tests and our standards for testing

NB: Send PRs from oilshell/oil and not your own fork, so that Github Actions can get our $TOIL_KEY, and publish HTML results to http://travis-ci.oilshell.org/