Skip to content

Add CI to verify submitted results jsons#134

Merged
QuentinJGMace merged 7 commits intomainfrom
json_verification_ci
Mar 16, 2026
Merged

Add CI to verify submitted results jsons#134
QuentinJGMace merged 7 commits intomainfrom
json_verification_ci

Conversation

@QuentinJGMace
Copy link
Copy Markdown
Collaborator

No description provided.

@QuentinJGMace QuentinJGMace marked this pull request as ready for review March 16, 2026 13:01
Copy link
Copy Markdown
Contributor

Copilot AI left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull request overview

Adds CI validation around contributed benchmark result artifacts and updates repo ignore rules to allow tracking them in Git.

Changes:

  • Stop ignoring results/ in .gitignore so metrics/description submissions can be committed.
  • Add a new GitHub Actions workflow to validate changed JSON files under results/metrics/** and results/pipeline_descriptions/**.

Reviewed changes

Copilot reviewed 1 out of 2 changed files in this pull request and generated 4 comments.

File Description
.gitignore Removes the results/ ignore entry so results submissions can be tracked.
.github/workflows/validate-results-json.yml Introduces PR-time validation for results JSON structure and required submission files.

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

You can also share your feedback on Copilot code review. Take the survey.

QuentinJGMace and others added 4 commits March 16, 2026 14:51
Co-authored-by: Copilot Autofix powered by AI <175728472+Copilot@users.noreply.github.com>
Co-authored-by: Copilot Autofix powered by AI <175728472+Copilot@users.noreply.github.com>
Co-authored-by: Copilot Autofix powered by AI <175728472+Copilot@users.noreply.github.com>
Co-authored-by: Copilot Autofix powered by AI <175728472+Copilot@users.noreply.github.com>
@QuentinJGMace QuentinJGMace merged commit 62dd6a5 into main Mar 16, 2026
5 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants