Skip to content

chore: convert build workflow to makefile - #309

Merged
SebastianKrupinski merged 1 commit into
mainfrom
chore/use-make-file
Aug 25, 2026
Merged

chore: convert build workflow to makefile#309
SebastianKrupinski merged 1 commit into
mainfrom
chore/use-make-file

Conversation

@SebastianKrupinski

Copy link
Copy Markdown
Contributor

Summary

  • title speaks for it self

Signed-off-by: SebastianKrupinski <krupinskis05@gmail.com>
@SebastianKrupinski SebastianKrupinski self-assigned this Aug 25, 2026
@SebastianKrupinski SebastianKrupinski added the 3. to review Waiting for reviews label Aug 25, 2026
@github-project-automation github-project-automation Bot moved this to 🏗️ In progress in 💌 📅 👥 Groupware team Aug 25, 2026
@SebastianKrupinski
SebastianKrupinski merged commit 9edec7b into main Aug 25, 2026
34 of 35 checks passed
@SebastianKrupinski
SebastianKrupinski deleted the chore/use-make-file branch August 25, 2026 00:05
@github-project-automation github-project-automation Bot moved this from 🏗️ In progress to ☑️ Done in 💌 📅 👥 Groupware team Aug 25, 2026
@SebastianKrupinski

Copy link
Copy Markdown
Contributor Author

/backport to stable1.0

@backportbot backportbot Bot added the backport-request A backport was requested for this pull request label Aug 25, 2026
@backportbot backportbot Bot removed the backport-request A backport was requested for this pull request label Aug 25, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

3. to review Waiting for reviews

Projects

Status: ☑️ Done

Development

Successfully merging this pull request may close these issues.

1 participant