Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Make CI cached to speed up build times #69

Merged
merged 7 commits into from
Nov 19, 2023
Merged

Conversation

Bennett-Petzold
Copy link
Contributor

@Bennett-Petzold Bennett-Petzold commented Nov 19, 2023

Our compile on CI is actually fairly fast, but this still saves some time on package install for the build command. Will save significantly more time on the clippy Action due to caching the compilation of the formatting tools.

The repository setting for clippy failures has also been escalated from errors to errors and warnings.

@Bennett-Petzold Bennett-Petzold enabled auto-merge (squash) November 19, 2023 22:04
@osalbahr
Copy link
Collaborator

osalbahr commented Nov 19, 2023

Oh, that’s cool. Quick question, though, are the changes in response.rs related to this PR?

Edit: oh, it’s for Clippy, nvm

@Bennett-Petzold Bennett-Petzold merged commit 1061b28 into main Nov 19, 2023
3 checks passed
@osalbahr
Copy link
Collaborator

Did you mean for the PR to merge as one commit?

@osalbahr
Copy link
Collaborator

@Bennett-Petzold thoughts on enabling automatically deleting branches after the PR is merged? (it can still be restored if needed)

@Bennett-Petzold Bennett-Petzold deleted the ci-improvement branch November 20, 2023 15:50
@Bennett-Petzold
Copy link
Contributor Author

@osalbahr Makes sense to me. I went ahead and enabled that in repo settings. And yes, single squashed commit was intentional (because there are waste commits in there...)

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