Skip to content

simplify things in github actions#1074

Merged
anonrig merged 2 commits intomainfrom
yagiz/extend-githuub-actions
Feb 3, 2026
Merged

simplify things in github actions#1074
anonrig merged 2 commits intomainfrom
yagiz/extend-githuub-actions

Conversation

@anonrig
Copy link
Member

@anonrig anonrig commented Feb 2, 2026

No description provided.

@anonrig anonrig requested a review from lemire February 2, 2026 18:56
@anonrig anonrig force-pushed the yagiz/extend-githuub-actions branch from 2adcf45 to 041418f Compare February 2, 2026 18:57
@anonrig anonrig force-pushed the yagiz/extend-githuub-actions branch 3 times, most recently from 8503d92 to a469732 Compare February 3, 2026 18:41
@anonrig anonrig force-pushed the yagiz/extend-githuub-actions branch from a469732 to b8b8a4c Compare February 3, 2026 18:45
@anonrig anonrig merged commit 9881dda into main Feb 3, 2026
51 checks passed
@anonrig anonrig deleted the yagiz/extend-githuub-actions branch February 3, 2026 18:59
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