Skip to content

Improve build pipeline#111

Merged
JohT merged 2 commits intomainfrom
feature/improve-build-pipeline
Feb 28, 2026
Merged

Improve build pipeline#111
JohT merged 2 commits intomainfrom
feature/improve-build-pipeline

Conversation

@JohT
Copy link
Owner

@JohT JohT commented Feb 28, 2026

@JohT JohT self-assigned this Feb 28, 2026
@JohT JohT changed the title Feature/improve-build-pipeline Improve build pipeline Feb 28, 2026
@JohT JohT force-pushed the feature/improve-build-pipeline branch from 641adf6 to 1ef6430 Compare February 28, 2026 11:35
@JohT JohT force-pushed the feature/improve-build-pipeline branch from 1ef6430 to c09363c Compare February 28, 2026 12:01
@JohT JohT merged commit fc8ff28 into main Feb 28, 2026
4 checks passed
@JohT JohT deleted the feature/improve-build-pipeline branch February 28, 2026 13:44
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