Skip to content

Conversation

@rickardp
Copy link
Contributor

@rickardp rickardp commented Feb 7, 2024

To not waste precious build minutes when modifying PRs frequently.

As added in #1035

Also fixes an unnecessary path filter, but possibly it would be better to turn the filter around later.

…s frequently.

Co-authored-by: wkpark <wkpark@gmail.com>
@github-actions
Copy link

github-actions bot commented Feb 7, 2024

The docs for this PR live here. All of your documentation changes will be reflected on that endpoint. The docs are available until 30 days after the last update.

@wkpark
Copy link
Contributor

wkpark commented Feb 8, 2024

original author is @akx by PR #1011 by commit f718770
thank you!

@Titus-von-Koeller
Copy link
Collaborator

Cool! Always better to have shorter iteration times :)

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