chore/dev-tooling-and-workflow #1

Closed

marvin8 wants to merge 2 commits from refs/pull/1/head into main

pull from: refs/pull/1/head

merge into: marvin8:main

marvin8:main

marvin8:pages

marvin8:feat/ai-declaration

Conversation 1 Commits 2 Files changed -

marvin8 commented 2026-05-10 21:43:39 +00:00 (Migrated from codeberg.org)

Copy link

No description provided.

marvin8 commented 2026-05-14 07:25:27 +00:00 (Migrated from codeberg.org)

Copy link

Merged d56fa25c95

Merged d56fa25c950f5550111444c0bb801a55bd8d3970

Pull request closed

This pull request cannot be reopened because the branch was deleted.

Sign in to join this conversation.

Reviewers

No reviewers

Labels

Clear labels

No items

No labels

Milestone

Clear milestone

No items

No milestone

Assignees

Clear assignees

No assignees

1 participant

Notifications

Subscribe

Due date

The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Reference

marvin8/yilan!1

No description provided.