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:
authorashrafteleb <ashraf.teleb85@gmail.com>2020-11-18 16:54:46 +0300
committerGitHub <noreply@github.com>2020-11-18 16:54:46 +0300
commit05986d1a9cce648cc927682ddf6233aea1f6ad37 (patch)
treef66317a76e5ccf889f4404a9297945122c9417f3 /.github
parent6c343dda408b1d1510909e8ebf2539ee45689d73 (diff)
Update war.yml
Diffstat (limited to '.github')
-rw-r--r--.github/workflows/war.yml2
1 files changed, 0 insertions, 2 deletions
diff --git a/.github/workflows/war.yml b/.github/workflows/war.yml
index b081e216..7ded4116 100644
--- a/.github/workflows/war.yml
+++ b/.github/workflows/war.yml
@@ -5,8 +5,6 @@ name: WAR CI
on:
push:
- branches:
- - '*' # for testing
tags:
- 'v*' # Push events to matching v*, i.e. v1.0, v20.15.10