Skip to content

infra: Split workflows, use reusable workflows, store artifacts#21

Merged
enzoevers merged 1 commit intomainfrom
make-github-actions-flow-more-efficient-to-reduce-running-time
Nov 27, 2024
Merged

infra: Split workflows, use reusable workflows, store artifacts#21
enzoevers merged 1 commit intomainfrom
make-github-actions-flow-more-efficient-to-reduce-running-time

Commits

Commits on Nov 27, 2024