Skip to content

Conversation

smagnani96
Copy link
Contributor

@smagnani96 smagnani96 commented Aug 27, 2025

Changelog:

  1. Updating input file formats from raw CI logs to json files, given upstream changes to CI verifier output.
  2. Now the scripts shows both the "before" and "after" bar and no more just the difference. This is to make clear what the number of verified instructions was before and after the change.
  3. Now the scripts plots into hierarchical directory order: collection/build{0...X}/load{0...Y}.png

Here's an example of the output:

image

TODOs: will be good to introduce this in CI right after the Verifier complexity workflow, but this is not part of this PR.

Changelog:

1. Updating input file formats from raw CI logs to json files, given
   upstream changes to CI verifier output.
2. Now the scripts shows both the "before" and "after" bar and no more
   just the difference. This is to make clear what the number of verified
   instructions was before and after the change.
3. Now the scripts plots into hierarchical directory order:
   collection/build{0...X}/load{0...Y}.png

Signed-off-by: Simone Magnani <simone.magnani@isovalent.com>
@smagnani96 smagnani96 self-assigned this Aug 27, 2025
@smagnani96 smagnani96 added kind/enhancement This would improve or streamline existing functionality. release-note/misc This PR makes changes that have no direct user impact. labels Aug 27, 2025
@smagnani96 smagnani96 marked this pull request as ready for review August 27, 2025 11:09
@smagnani96 smagnani96 requested a review from a team as a code owner August 27, 2025 11:09
@smagnani96 smagnani96 requested a review from aditighag August 27, 2025 11:09
@smagnani96
Copy link
Contributor Author

/test

@smagnani96
Copy link
Contributor Author

@cilium/contributing Gente ping 🙏🏼

@pchaigno pchaigno removed the request for review from aditighag September 1, 2025 08:37
@pchaigno pchaigno added this pull request to the merge queue Sep 1, 2025
Merged via the queue into main with commit bfd942a Sep 1, 2025
413 of 415 checks passed
@pchaigno pchaigno deleted the pr/smagnani96/contrib-verifier-complexity-plots branch September 1, 2025 08:47
@maintainer-s-little-helper maintainer-s-little-helper bot added the ready-to-merge This PR has passed all tests and received consensus from code owners to merge. label Sep 1, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
kind/enhancement This would improve or streamline existing functionality. ready-to-merge This PR has passed all tests and received consensus from code owners to merge. release-note/misc This PR makes changes that have no direct user impact.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants