Skip to content

Comments

Building CI#2

Merged
maxicot merged 5 commits intomainfrom
ci
Dec 4, 2025
Merged

Building CI#2
maxicot merged 5 commits intomainfrom
ci

Conversation

@maxicot
Copy link
Owner

@maxicot maxicot commented Dec 4, 2025

  • Specify the toolchain
  • Add building CI

@maxicot maxicot merged commit 77266a8 into main Dec 4, 2025
2 checks passed
@maxicot maxicot deleted the ci branch December 4, 2025 16:51
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.

1 participant