dev #5

Merged

baeuchle merged 3 commits from dev into main 2026-01-15 10:56:56 +01:00

Conversation 0 Commits 3 Files changed 3 +168

baeuchle commented 2026-01-15 10:56:42 +01:00

Owner

Copy link

No description provided.

baeuchle added 3 commits 2026-01-15 10:56:43 +01:00

ADD make-doc a222fd075a

ADD upload-pages e05bfb5b3f

ADD clean-up job for pages d9a27f5f1b

baeuchle merged commit 399c3e177d into main 2026-01-15 10:56:56 +01:00

baeuchle referenced this pull request from a commit 2026-01-15 10:56:57 +01:00

Merge pull request 'dev' (#5) from dev into main

Sign in to join this conversation.

Reviewers

No reviewers

Labels

Clear labels

No items

No labels

Milestone

Clear milestone

No items

No milestone

Projects

Clear projects

No items

No project

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.

Dependencies

No dependencies set.

Reference

actions/forgejo!5

No description provided.