Skip to content

ci: add ci - #4

Merged
twoeths merged 1 commit into
mainfrom
bing/ci
Jul 10, 2025
Merged

ci: add ci#4
twoeths merged 1 commit into
mainfrom
bing/ci

Conversation

@spiral-ladder

@spiral-ladder spiral-ladder commented Jul 9, 2025

Copy link
Copy Markdown
Member

Extracted from 6ad4448

Depends on #3

@CLAassistant

CLAassistant commented Jul 9, 2025

Copy link
Copy Markdown

CLA assistant check
All committers have signed the CLA.

@spiral-ladder

Copy link
Copy Markdown
Member Author

macos tests currently fail, but #3 should fix things.

@spiral-ladder spiral-ladder self-assigned this Jul 9, 2025
@spiral-ladder
spiral-ladder force-pushed the bing/ci branch 6 times, most recently from 2ab295a to 8ccdb9a Compare July 10, 2025 02:02
Extracted from 6ad4448
@spiral-ladder
spiral-ladder marked this pull request as ready for review July 10, 2025 02:03
@spiral-ladder
spiral-ladder requested a review from twoeths July 10, 2025 02:04
@twoeths
twoeths merged commit 6b96e3f into main Jul 10, 2025
3 checks passed
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.

3 participants