diff options
| author | ROUVREAU Vincent <vincent.rouvreau@inria.fr> | 2020-02-24 16:08:19 +0100 |
|---|---|---|
| committer | ROUVREAU Vincent <vincent.rouvreau@inria.fr> | 2020-02-24 16:08:19 +0100 |
| commit | 63e4222e528317b7e0385bf5881393ff2f97fa80 (patch) | |
| tree | 65d551a8a9586ab937c5b09ebf7524a41a628cba /.github | |
| parent | b35071957e99190db41db3e06e30a1d1fac6e234 (diff) | |
Fix CI - bad use of skip continuous integration
Diffstat (limited to '.github')
| -rw-r--r-- | .github/for_maintainers/new_gudhi_version_creation.md | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/.github/for_maintainers/new_gudhi_version_creation.md b/.github/for_maintainers/new_gudhi_version_creation.md index 4a40f373..f176d392 100644 --- a/.github/for_maintainers/new_gudhi_version_creation.md +++ b/.github/for_maintainers/new_gudhi_version_creation.md @@ -87,9 +87,6 @@ ln -s @GUDHI_VERSION@ latest * Tick the *This is a pre-release* check button if this is a release candidate (untick if this is an official version) * Click the *Publish the release* button -***[Where X, Y and Z corresponds respectively to the major, minor, and patch version number]*** - - ## Mail sending Send version mail to the following lists : * gudhi-devel@lists.gforge.inria.fr |