Skip to content

chore: update vendored Effect source#67

Open
pullfrog[bot] wants to merge 1 commit into
mainfrom
pullfrog/update-vendored-effect-source
Open

chore: update vendored Effect source#67
pullfrog[bot] wants to merge 1 commit into
mainfrom
pullfrog/update-vendored-effect-source

Conversation

@pullfrog

@pullfrog pullfrog Bot commented May 27, 2026

Copy link
Copy Markdown
Contributor

Updates vendored Effect source at repos/effect/ to match upstream Effect-TS/effect main branch.

64 files changed, 9059 insertions, 5672 deletions.

This is a read-only vendored reference — no code outside repos/effect/ is modified.

Pullfrog  | View workflow run | via Pullfrog | Using Big Pickle (free) | 𝕏

@pullfrog pullfrog Bot force-pushed the pullfrog/update-vendored-effect-source branch from afd36c8 to 3b3f8ba Compare May 28, 2026 05:44
@pullfrog

pullfrog Bot commented May 28, 2026

Copy link
Copy Markdown
Contributor Author

Diagnosis: CI failure is pre-existing and unrelated to this PR. The Build step fails because elm-pages build in apps/docs tries to fetch lamdera/codecs/1.0.0/elm.json from static.lamdera.com and gets a ResponseTimeout — the Lamdera package registry is unreachable from this CI runner. No files were changed by this PR (diff is empty after the vendored source sync to main), so no fix is applicable here.

Task list (4/7 completed)
  • Checkout PR branch
  • Fetch check suite logs to diagnose failure
  • Verify failure was introduced by this PR
  • Diagnose and fix the issue
  • Verify fix with pnpm test and pnpm lint
  • Commit and push changes
  • Report progress

Pullfrog  | View workflow run | via Pullfrog𝕏

@pullfrog pullfrog Bot force-pushed the pullfrog/update-vendored-effect-source branch 5 times, most recently from 352ae08 to 75ed4b1 Compare June 2, 2026 05:55
@pullfrog pullfrog Bot deleted the pullfrog/update-vendored-effect-source branch June 2, 2026 05:56
@pullfrog

pullfrog Bot commented Jun 2, 2026

Copy link
Copy Markdown
Contributor Author

No upstream changes since last sync — the vendored Effect source is already current. Closing without action.

Pullfrog  | View workflow run | via Pullfrog𝕏

@pullfrog pullfrog Bot force-pushed the pullfrog/update-vendored-effect-source branch 7 times, most recently from 1194382 to 5493650 Compare June 11, 2026 05:56
@pullfrog pullfrog Bot force-pushed the pullfrog/update-vendored-effect-source branch 7 times, most recently from 2b442ce to e7ea29d Compare June 18, 2026 05:57
@pullfrog pullfrog Bot force-pushed the pullfrog/update-vendored-effect-source branch 7 times, most recently from 5895338 to 237324b Compare June 25, 2026 05:42
@pullfrog pullfrog Bot force-pushed the pullfrog/update-vendored-effect-source branch 2 times, most recently from 7084112 to 2b69de8 Compare June 27, 2026 05:36
@pullfrog

pullfrog Bot commented Jun 27, 2026

Copy link
Copy Markdown
Contributor Author

CI failure diagnosis

The failing step is packages/devtools-ui build (Elm UI build), which errors with:

-- PROBLEM BUILDING DEPENDENCIES -----------------------------------------------
I ran into a compilation error when trying to build the following package:
    elm/core 1.0.5

This is unrelated to the vendored Effect update in this PR — the PR only touches files under repos/effect/. The packages/devtools-ui/ directory has zero changes.

I verified the devtools-ui build passes locally:

Starting downloads...
  ● elm/core 1.0.5
  ...
Dependencies ready!
Success! Compiled 13 modules.
devtools-ui build complete.

The CI failure was a transient download/compilation error for elm/core 1.0.5 from the Elm package registry. This is a CI environment flake, not a code issue.

Recommended action: Re-run the CI workflow (no code changes needed).

Pullfrog  | View workflow run | via Pullfrog | Using Big Pickle (free) | 𝕏

@pullfrog pullfrog Bot force-pushed the pullfrog/update-vendored-effect-source branch from 2b69de8 to e0be31a Compare June 28, 2026 05:47
@pullfrog pullfrog Bot force-pushed the pullfrog/update-vendored-effect-source branch from e0be31a to 857c5b7 Compare June 29, 2026 05:55
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.

0 participants