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 for the merged pull request) PullRequestReviewAndMerge --> RunScoreSubmissionMergePush(Run the submission of the maintainer who merged the pull request)

• Score Submission
• Record Scores
• Update Scores
• Pytest
• Utility Python Scripts
  • Print JSON as ENV
  • Record Scores