JuliaReachDevDocs

JuliaReachDevDocs hosts resources for the JuliaReach github organization developers.

Contents

• JuliaReachDevDocs
• • Contents
• Adding a new package
• • Creating the GitHub repository
  • Creating the Julia package
  • • Using JuliaReachTemplatePkg
    • Using PkgTemplates
  • Deploying the documentation
  • Adding requirements
  • Adding members
  • Protecting branches
  • Publishing packages
  • Reduce repository size
• Releases and bots
• • Choosing a new release version
  • Preparing the release
  • Creating a new release
  • • Creating a new release on General (Julia ecosystem packages only)
    • Creating a new release on Github
  • Clean up the release log
  • Compatibility bot
  • Registrator bot
  • Tag bot
• Coding guidelines
• • Source-code guidelines
  • Documentation guidelines
  • • Generating the documentation
    • Mathematical notation
    • Writing docstrings
    • Writing doctests
    • Extending the online documentation
    • Adding plot recipe docstrings
    • Resizing an image in the documentation
  • Other style guides