Skip to content

Add CI - #2

Merged
jeffreyyu0602 merged 1 commit into
mainfrom
ci
Jun 20, 2026
Merged

jeffreyyu0602 merged 1 commit into
mainfrom
ci

Conversation

@KPrabs106

Copy link
Copy Markdown
Contributor

No description provided.

@KPrabs106
KPrabs106 force-pushed the ci branch 7 times, most recently from b49c035 to 199305d Compare June 19, 2026 21:51
@KPrabs106
KPrabs106 marked this pull request as ready for review June 20, 2026 16:33
@KPrabs106
KPrabs106 requested a review from jeffreyyu0602 June 20, 2026 16:34
@jeffreyyu0602
jeffreyyu0602 merged commit 34f92bc into main Jun 20, 2026
27 checks passed

negative_diff = merged[merged["runtime_diff"] < 0]

comment = ""

Copy link
Copy Markdown

Choose a reason for hiding this comment

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

I recommend extracting this comment logic into it's own method

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.

3 participants