Add workflow for generating project pages #22

Closed
msz wants to merge 2 commits from msz/www.trr379.de:project-pages-workflow into main
Contributor

This adds a workflow for generating project pages (for what it does, see #20) and cleans up the other workflows a little.

This adds a workflow for generating project pages (for what it does, see #20) and cleans up the other workflows a little.
This adds a POOLAPI variable to make the pipe commands shorter and
more readable, and removes the unused job outputs feature (originally
intended to store the git commit outcome and conditionally trigger
another workflow, but its usage was commented out because we could not
get it to work as intended).

Temporary files are written into .cache instead of /tmp (the .cache is
also something that the code from pool-publication-page may use for
its own purposes).
msz changed title from project-pages-workflow to Add workflow for generating project pages 2026-02-23 16:21:22 +00:00
mih closed this pull request 2026-02-25 11:54:16 +00:00

Pull request closed

Sign in to join this conversation.
No reviewers
No labels
No milestone
No project
No assignees
1 participant
Notifications
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
q04/www.trr379.de!22
No description provided.