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

Fix spago lock script #727

Merged
merged 1 commit into from
Oct 17, 2023
Merged

Fix spago lock script #727

merged 1 commit into from
Oct 17, 2023

Conversation

aciceri
Copy link
Contributor

@aciceri aciceri commented Oct 9, 2023

@DavHau I picked this up again and realized that recreating the lockfile then the build failed because now package-set is too new (we were always fetching master).
Unfortunately that repo doesn't have tags that includes package set versions (like 42.1.0) so now the entire repo is fetched instead of the tarball and then I checkout the correct branch which is discovered checking commit messages.

There could be better ways but I believe it's enough for the lock script.

@DavHau
Copy link
Member

DavHau commented Oct 17, 2023

@mergify rebase

@mergify
Copy link
Contributor

mergify bot commented Oct 17, 2023

rebase

✅ Branch has been successfully rebased

@DavHau
Copy link
Member

DavHau commented Oct 17, 2023

How about just downloading the required revision via tarball?

curl -fL https://github.com/purescript/package-sets/archive/refs/heads/$rev.tar.gz | tar xz --strip-components=1

@DavHau DavHau enabled auto-merge (rebase) October 17, 2023 20:11
@DavHau DavHau merged commit 44703d4 into nix-community:main Oct 17, 2023
2 checks passed
@aciceri
Copy link
Contributor Author

aciceri commented Oct 17, 2023

Yeah unfortunately that solution isn't possible here.

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