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鈥檒l occasionally send you account related emails.

Already on GitHub? Sign in to your account

CI update #1261

Merged
merged 5 commits into from
Aug 15, 2022
Merged

CI update #1261

merged 5 commits into from
Aug 15, 2022

Conversation

jas88
Copy link
Member

@jas88 jas88 commented Aug 10, 2022

Proposed Changes

  • Adjust Linux disk caching policies for faster CI (we don't care about disk consistency in the event of a crash, because the disk is discarded anyway!)
  • Avoid "caching" stuff on one Github server which is coming from another Github server anyway
  • Cache what we can that's coming from external servers instead

Types of changes

What types of changes does your code introduce? Tick all that apply.

  • Bugfix (non-breaking change which fixes an issue)
  • New Feature (non-breaking change which adds functionality)
  • Breaking Change (fix or feature that would cause existing functionality to not work as expected)
  • Documentation-Only Update (if none of the other choices apply)
    • In this case, ensure that the message of the head commit from the source branch is prefixed with [skip ci]

Checklist

By opening this PR, I confirm that I have:

  • Reviewed the contributing guidelines for this repository
  • Ensured that the PR branch is in sync with the target branch (i.e. it is automatically merge-able)
  • Updated any relevant API documentation
  • Created or updated any tests if relevant
  • Created a news file
    • NOTE: This must include any changes to any of the following files: default.yaml, any of the RabbitMQ server configurations, GlobalOptions.cs
  • Listed myself in the CONTRIBUTORS file 馃殌
  • Requested a review by one of the repository maintainers

Issues

@jas88 jas88 requested a review from tznind August 15, 2022 03:25
@jas88 jas88 merged commit 59c837b into master Aug 15, 2022
@jas88 jas88 deleted the feature/cicaching branch August 15, 2022 14:03
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.

None yet

2 participants