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

Cache dist-newstyle Build Artifacts to Speed Up GitHub Codespace First-Launch Time #465

Merged
merged 1 commit into from
Apr 8, 2024

Conversation

yvan-sraka
Copy link
Contributor

@yvan-sraka yvan-sraka commented Mar 7, 2024

This updates the GitHub Actions build workflow to create a per-commit artifact containing the contents of $HOME/.cache, but only for x86_64-linux.

The motivation behind this change is to speed up the initial launch of GitHub Codespace. HLS requires the project to be already built to be ready to use.

This PR opts into a feature that is implemented directly in the Codespace image, detailed in this PR.

@angerman
Copy link
Collaborator

How to trial this?

@yvan-sraka yvan-sraka changed the title Cache $HOME/.cache Build Artifacts to Speed Up GitHub Codespace First-Launch Time Cache dist-newstyle Build Artifacts to Speed Up GitHub Codespace First-Launch Time Apr 3, 2024
@yvan-sraka yvan-sraka marked this pull request as ready for review April 3, 2024 16:43
@yvan-sraka
Copy link
Contributor Author

yvan-sraka commented Apr 3, 2024

How to trial this?

Yes! We need to merge first input-output-hk/actions#17 (that's why CI is failing)

Copy link
Collaborator

@angerman angerman left a comment

Choose a reason for hiding this comment

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

LGTM. I hope the caches don't corrupt.

.github/workflows/haskell.yml Outdated Show resolved Hide resolved
This is used to speed up GitHub Codespace first-launch time
@yvan-sraka yvan-sraka merged commit 755cf12 into master Apr 8, 2024
21 checks passed
@yvan-sraka yvan-sraka deleted the cache branch April 8, 2024 11:37
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