Skip to content

Fix ci#23

Merged
TheOneRing merged 5 commits intomainfrom
work/test
Feb 14, 2025
Merged

Fix ci#23
TheOneRing merged 5 commits intomainfrom
work/test

Conversation

@TheOneRing
Copy link
Contributor

No description provided.

@TheOneRing TheOneRing force-pushed the work/test branch 3 times, most recently from b719634 to f42acbc Compare January 21, 2025 09:05
Copy link
Contributor

@dragotin dragotin left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@TheOneRing TheOneRing changed the title CI: Use token to clone private repos WIP: CI: Use token to clone private repos Jan 23, 2025
@TheOneRing TheOneRing force-pushed the work/test branch 2 times, most recently from 54f2ac3 to 282be42 Compare February 12, 2025 15:42
@TheOneRing TheOneRing changed the title WIP: CI: Use token to clone private repos Fix ci Feb 12, 2025
@TheOneRing TheOneRing force-pushed the work/test branch 8 times, most recently from 025f797 to f8fdf98 Compare February 13, 2025 16:15
@TheOneRing TheOneRing merged commit 44a944b into main Feb 14, 2025
2 checks passed
@TheOneRing TheOneRing deleted the work/test branch February 14, 2025 12:49
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