Skip to content

Simplify ninja setup#100

Merged
offa merged 1 commit intomasterfrom
ci_setup
Mar 18, 2026
Merged

Simplify ninja setup#100
offa merged 1 commit intomasterfrom
ci_setup

Conversation

@offa
Copy link
Owner

@offa offa commented Mar 18, 2026

No description provided.

@offa offa added this to the next milestone Mar 18, 2026
@offa offa added the ci label Mar 18, 2026
@offa offa merged commit 07557dc into master Mar 18, 2026
11 checks passed
@offa offa deleted the ci_setup branch March 18, 2026 18:24
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant