Closed sloede closed 8 months ago
What advantage does this
-pre
stuff have? I have never really seen it be used.
We use it in Trixi.jl to make sure that if you have multiple clones of a repo around and dev
d into a number of environments, you know whether you are working with an actual release or a development version.
We had issues a (long) while back where people complained about errors with a certain release that were hard for us to reproduce, and then it turned out they were actually using main
.
But if you find it annoying/too noisy, I can just not do it in this repo 😊
(EDIT: or call it 2.1.14-dev
to make it clearer what it means)
Merging #889 (c4dcebd) into master (22132e4) will decrease coverage by
0.13%
. The diff coverage isn/a
.
@@ Coverage Diff @@
## master #889 +/- ##
==========================================
- Coverage 84.26% 84.14% -0.13%
==========================================
Files 3 3
Lines 801 801
==========================================
- Hits 675 674 -1
- Misses 126 127 +1
What advantage does this
-pre
stuff have? I have never really seen it be used.