Skip to content

fix: base repository for framework and stdlib#305

Merged
nicoan merged 1 commit intomainfrom
fix/dep_url
Feb 27, 2026
Merged

fix: base repository for framework and stdlib#305
nicoan merged 1 commit intomainfrom
fix/dep_url

Conversation

@nicoan
Copy link
Collaborator

@nicoan nicoan commented Feb 27, 2026

Summary

The GIT_BASE_REPOSITORY lacked the last / in its value. This was not a problem but the in all other places (manifest files) is with /. This made the compiler try to fetch it two times

Checklist

  • I have read the contributing guidelines.
  • I have added/updated tests where appropriate.
  • I have run relevant tests locally.
  • I have updated relevant documentation (if applicable).
  • I have disclosed any AI assistance per AI_POLICY.md.

@nicoan nicoan merged commit db48c1a into main Feb 27, 2026
1 check passed
@nicoan nicoan deleted the fix/dep_url branch February 27, 2026 13:40
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