SemanticDiff EveryVoice
ci: include the expensive import in the bot message
#194
Merged

ci: include the expensive import in the bot message #194

joanise merged 2 commits into main from dev.ej/ci-message-details
joanise
github-actions
codecov
joanise joanise force pushed from ae743245 to 5e7ee793 303 days ago
roedoejet
joanise ci: list the most expensive imports in the bot message
66c36b07
joanise joanise force pushed from 5e7ee793 to 66c36b07 303 days ago
joanise joanise changed the title [DRAFT] ci: include the expensive import in the bot message ci: include the expensive import in the bot message 303 days ago
joanise joanise requested a review from SamuelLarkin SamuelLarkin 303 days ago
joanise joanise requested a review from roedoejet roedoejet 303 days ago
roedoejet
roedoejet
roedoejet requested changes on 2023-12-06
joanise
joanise
joanise
joanise ci: trim the import list to >=0.1s and keep the hierachy in the bot m…
6879dd18
joanise
joanise joanise requested a review from roedoejet roedoejet 302 days ago
roedoejet
roedoejet approved these changes on 2023-12-07
joanise joanise merged 5064620a into main 302 days ago
joanise joanise deleted the dev.ej/ci-message-details branch 302 days ago

Login to write a write a comment.

Login via GitHub

Assignees
No one assigned
Labels
Milestone