Update some stuff in the pipeline #193

Merged
jank merged 1 commit from pipeline-optimization into main 2025-05-15 09:15:13 +00:00
Owner
No description provided.
jank force-pushed pipeline-optimization from 2da9509c43 to 59e0b46071 2025-05-15 09:09:02 +00:00 Compare
jank force-pushed pipeline-optimization from 59e0b46071 to b63ad52076 2025-05-15 09:11:35 +00:00 Compare
jank changed title from WIP: Pipeline update to Update some stuff in the pipeline 2025-05-15 09:13:07 +00:00
jank scheduled this pull request to auto merge when all checks succeed 2025-05-15 09:13:12 +00:00
jank force-pushed pipeline-optimization from b63ad52076 to 47e04567a9 2025-05-15 09:13:44 +00:00 Compare
jleibl approved these changes 2025-05-15 09:15:10 +00:00
jank merged commit d42209d1c9 into main 2025-05-15 09:15:13 +00:00
jank deleted branch pipeline-optimization 2025-05-15 09:15:13 +00:00
Commenting is not possible because the repository is archived.
No reviewers
No milestone
No project
No assignees
2 participants
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: SZUT/casino#193
No description provided.