Skip to content

haskell-wasm CI: add archive.org fallback for the ghc-wasm-meta input - #1304

Merged
palas merged 1 commit into
masterfrom
wasm-ci-gitlab-fallback
Aug 20, 2026
Merged

haskell-wasm CI: add archive.org fallback for the ghc-wasm-meta input#1304
palas merged 1 commit into
masterfrom
wasm-ci-gitlab-fallback

Conversation

@palas

@palas palas commented Aug 19, 2026

Copy link
Copy Markdown
Contributor

Context

gitlab.haskell.org is the only non-GitHub host among our flake inputs, and an outage breaks this workflow at nix develop time. Pre-fetch the ghc-wasm-meta input before the first nix invocation; if gitlab.haskell.org does not respond, fetch a byte-identical mirror of the pinned tarball from archive.org instead. The input's narHash from flake.lock is enforced on both sources, so the fallback cannot alter the build inputs; once the content is in the local store, the later nix invocations resolve the locked input without contacting gitlab.

Mirror: https://archive.org/details/ghc-wasm-meta-c662c34d608dc9d2ff599b007f2e3c46138efaab If the input is re-pinned, upload the new GitLab archive tarball to an archive.org item named ghc-wasm-meta- (keeping GitLab's file name) to keep the fallback working; the step fails with instructions otherwise.

How to trust this PR

If the CI is still working this clearly did no harm. It should work the same as before except for when gitlab is down.

Checklist

  • Commit sequence broadly makes sense and commits have useful messages
  • New tests are added if needed and existing tests are updated. See Running tests for more details
  • Self-reviewed the diff
  • Changelog fragment added in .changes/

@palas palas self-assigned this Aug 19, 2026
Copilot AI lite review requested due to automatic review settings August 19, 2026 20:51

Copilot AI left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

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

Pull request overview

Improves the haskell-wasm GitHub Actions workflow resilience by proactively prefetching the ghc-wasm-meta flake input and falling back to an archive.org mirror when gitlab.haskell.org is unavailable, with integrity enforced via narHash.

Changes:

  • Add a prefetch step that fetches ghc-wasm-meta from gitlab.haskell.org, with an archive.org fallback on failure.
  • Add a changelog fragment documenting the CI resilience improvement for cardano-wasm.

Reviewed changes

Copilot reviewed 2 out of 2 changed files in this pull request and generated 1 comment.

File Description
.github/workflows/haskell-wasm.yml Adds a nix flake prefetch step with gitlab→archive.org fallback for ghc-wasm-meta.
.changes/20260819_210000_cardano-wasm_palas_wasm_ci_ghc_wasm_meta_mirror_fallback.yml Records the workflow resilience change as a maintenance entry for cardano-wasm.

💡 Add a code-review agent skill or configure MCP servers for context-aware, tailored reviews. Learn more in the docs.

Comment thread .github/workflows/haskell-wasm.yml
gitlab.haskell.org is the only non-GitHub host among our flake inputs,
and an outage breaks this workflow at `nix develop` time. Pre-fetch the
ghc-wasm-meta input before the first nix invocation; if
gitlab.haskell.org
does not respond, fetch a byte-identical mirror of the pinned tarball
from archive.org instead. The input's narHash from flake.lock is
enforced
on both sources, so the fallback cannot alter the build inputs; once the
content is in the local store, the later nix invocations resolve the
locked input without contacting gitlab.

Mirror: https://archive.org/details/ghc-wasm-meta-c662c34d608dc9d2ff599b007f2e3c46138efaab
If the input is re-pinned, upload the new GitLab archive tarball to an
archive.org item named ghc-wasm-meta-<rev> (keeping GitLab's file name)
to keep the fallback working; the step fails with instructions otherwise
@palas
palas force-pushed the wasm-ci-gitlab-fallback branch from a39193b to 51b091c Compare August 19, 2026 20:59
@palas
palas added this pull request to the merge queue Aug 20, 2026
Merged via the queue into master with commit a0e5686 Aug 20, 2026
30 of 31 checks passed
@palas
palas deleted the wasm-ci-gitlab-fallback branch August 20, 2026 18:22
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