Skip to content

CI: point radae checkout at main instead of dr-radev2 - #19

Open
drowe67 wants to merge 1 commit into
mainfrom
dr-ci-radae-main
Open

drowe67 wants to merge 1 commit into
mainfrom
dr-ci-radae-main

Conversation

@drowe67

@drowe67 drowe67 commented Sep 4, 2026

Copy link
Copy Markdown
Contributor

dr-radev2 has been merged into radae's main (drowe67/radae#70), so CI's checkout of the Python reference tools should track main going forward.

dr-radev2 has been merged into radae's main (drowe67/radae#70), so the
CI checkout of the Python reference tools should track main going forward.

Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01PzNQqmYXwUStAMrN4a5GFy
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