Skip to content

Comments

Update Github CI badges#101

Merged
inducer merged 1 commit intoinducer:mainfrom
alexfikl:fix-ci-badge
Apr 23, 2025
Merged

Update Github CI badges#101
inducer merged 1 commit intoinducer:mainfrom
alexfikl:fix-ci-badge

Conversation

@alexfikl
Copy link
Contributor

No description provided.

@inducer inducer merged commit 285c328 into inducer:main Apr 23, 2025
8 checks passed
@inducer
Copy link
Owner

inducer commented Apr 23, 2025

Thx!

@alexfikl alexfikl deleted the fix-ci-badge branch April 23, 2025 17:55
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