.github/workflows/dist.yml: Create github release on tag #396
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
This new GitHub Actions workflows makes it easier to cut a release.
Just push a release tag (v2.*) to the repository, and it will run
make distcheck
to build a release tarball, create a GitHub release, and upload the tarball to it.Included is a fix for
make distclean
.The workflow uses upstream libtool 2.4.7 instead of the heavily patched version provided on Ubuntu. Generating the release tarball like this fixes a linking problem on macOS, see sagemath/sage#38020 (comment)
Preview of the workflow run: https://github.com/mkoeppe/fflas-ffpack/actions/runs/9141750673/job/25136537002
The generated release: https://github.com/mkoeppe/fflas-ffpack/releases/tag/v2.5.0%2Bsage-2024-05-18b