Skip to content

Testing "Developer" page #5

@vladdez

Description

@vladdez

A list of what still should be tested on this page:
https://unfoldtoolbox.github.io/UnfoldDocs/main/developer/

  • Verify that creating the dev version works (with and without write access) using the instructions from the guide.
  • Test whether the fetch & rebase instructions in the "Before creating a pull request" section work correctly.
  • Test the "Running single tests" tip (both for including test scripts and for opening a file & running individual blocks).
  • Test the code for using the dev version in the docs environment (from the "Building Documentation Locally" section).
  • Additionally, I was wondering: should one merge their remote branch (from their fork) directly into the main branch of the original repository (e.g., UnfoldSim.jl), or should it first be merged into the main branch of the fork?

@ReneSkukies @vladdez or @maanikmarathe, @SNaber? Could you please test (one of) the following things and report whether the instructions are correct or need to be adapted?

Written by @jschepers, corrected by @vladdez

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions