Skip to content

Conversation

@jitendravjh
Copy link
Contributor

It was checking out the wrong branch.

@github-actions
Copy link
Contributor

Preview the changes: https://turinglang.org/pr-previews/93
Please avoid using the search feature and navigation bar in PR previews!

@shravanngoswamii shravanngoswamii self-requested a review August 12, 2024 03:10
@shravanngoswamii shravanngoswamii merged commit 60d9c16 into TuringLang:main Aug 12, 2024
github-actions bot added a commit that referenced this pull request Aug 12, 2024
@shravanngoswamii
Copy link
Member

Thanks @jitendravjh!

@jitendravjh jitendravjh deleted the jitendravjh/preview branch September 17, 2024 04:08
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