Skip to content

.github/workflows/dist.yml: Create github release on tag - #230

Merged
jgdumas merged 1 commit into
linbox-team:masterfrom
passagemath:gha_release
Dec 5, 2024
Merged

.github/workflows/dist.yml: Create github release on tag#230
jgdumas merged 1 commit into
linbox-team:masterfrom
passagemath:gha_release

.github/workflows/dist.yml: New

0a78320
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs