GitHub Workflows#
flowchart
ContributorPushes(Maintainer or Competitor pushes code) --> RunScoreSubmissionPush(Run score-submission)
RunScoreSubmissionPush --> ContributorPullRequest(A pull request is made)
ContributorPullRequest --> PullRequestReviewAndMerge(The pull request is merged)
PullRequestReviewAndMerge --> RunRecordScores(Run record-scores, calling score-submission and build-sphinx-docs)
PullRequestReviewAndMerge --> RunScoreSubmissionMergePush(Run score-submission merger's submission)