Skip to content

Refresh dependencies with ja 0.21.1 - #11

Merged
DanielThomas merged 1 commit into
mainfrom
deps/refresh-with-ja-0.21.1
Sep 18, 2026
Merged

DanielThomas merged 1 commit into
mainfrom
deps/refresh-with-ja-0.21.1

Conversation

@DanielThomas

@DanielThomas DanielThomas commented Sep 18, 2026 •

Copy link
Copy Markdown
Member

Summary

  • update build and release workflows to ja 0.21.1
  • run ja require -u with ja 0.21.1
  • normalize the generated jspecify hash entry to its unversioned module identity

Testing

  • ja require -u (idempotent second run)
  • ja test --all (11 tests)

@DanielThomas
DanielThomas force-pushed the deps/refresh-with-ja-0.21.1 branch from fb2d266 to f21ee1c Compare September 18, 2026 06:46
@DanielThomas
DanielThomas merged commit 8d4617c into main Sep 18, 2026
1 check passed
@DanielThomas
DanielThomas deleted the deps/refresh-with-ja-0.21.1 branch September 18, 2026 07:17
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.

1 participant