Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/jgraph/drawio.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorDavid Benson [draw.io] <david@jgraph.com>2021-11-03 14:43:06 +0300
committerDavid Benson [draw.io] <david@jgraph.com>2021-11-03 14:43:06 +0300
commit48e236efe2a70769b610805550420567fff5365e (patch)
treed6715b1be20577e1e9d1dff33e12e6fb73f10d7d /.github
parent1b9bf224b7c4651bfa1bd0f798aa73171b9d49cb (diff)
15.6.8 releasev15.6.8ivmn
Diffstat (limited to '.github')
-rw-r--r--.github/workflows/build-release.yml4
1 files changed, 3 insertions, 1 deletions
diff --git a/.github/workflows/build-release.yml b/.github/workflows/build-release.yml
index 52113775..d9ed7dbd 100644
--- a/.github/workflows/build-release.yml
+++ b/.github/workflows/build-release.yml
@@ -2,7 +2,9 @@ name: Build & Release
on:
push:
-
+ paths:
+ - VERSION
+
jobs:
build:
runs-on: ubuntu-18.04