Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Multi activity workflow #207

Closed
wants to merge 7 commits into from

Commits on Apr 19, 2020

  1. Multi-activity workflow

    gdaviet committed Apr 19, 2020
    Configuration menu
    Copy the full SHA
    dd9b6da View commit details
    Browse the repository at this point in the history

Commits on Apr 20, 2020

  1. Configuration menu
    Copy the full SHA
    08400c7 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    1394869 View commit details
    Browse the repository at this point in the history
  3. Docstrings + linting

    gdaviet committed Apr 20, 2020
    Configuration menu
    Copy the full SHA
    4f62f4b View commit details
    Browse the repository at this point in the history
  4. More doc

    gdaviet committed Apr 20, 2020
    Configuration menu
    Copy the full SHA
    2c47ce8 View commit details
    Browse the repository at this point in the history
  5. In multi-activity mode, ensure there is no useless leader

    (All leaders can lead at least one activity)
    gdaviet committed Apr 20, 2020
    Configuration menu
    Copy the full SHA
    c442a34 View commit details
    Browse the repository at this point in the history
  6. Configuration menu
    Copy the full SHA
    3936825 View commit details
    Browse the repository at this point in the history