eclipsesource / jsonforms / 7756890791

83%

push

github

dev: reverse push and publish operations

In the publish workflow we first pushed the release to npm and then
pushed the commit to Github. If there was any error during pushing,
the published release would point to a non-existing commit. Therefore
these operations are now reversed so that this can not happen.

9725 of 22377 branches covered (0.0%)

17211 of 20297 relevant lines covered (84.8%)

28.18 hits per line