Mirror
/
zulip
mirror of https://github.com/zulip/zulip.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

install-semgrep: Upgrade semgrep to 0.10.1. 

Signed-off-by: Anders Kaseorg <anders@zulip.com>
This commit is contained in:
Anders Kaseorg 2020-06-11 14:05:09 -07:00 committed by Anders Kaseorg
parent 60010449d2
commit 59e3c1f5e4
2 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
tools/setup/install-semgrep
View File

@ -1,9 +1,9 @@
#!/usr/bin/env bash
set -e
version=0.9.0
version=0.10.1
tarball=semgrep-v$version-ubuntu-16.04.tgz
sha256=aae50f8dd494af24bb59cfceaf0780767fd0b8df2fc669b8812b6061fa06baca
sha256=7d07d223e88d52a2e8886e748726e1c8488d8d81ced34b80b128c362d9b57a0a
tarball_url=https://github.com/returntocorp/semgrep/releases/download/v$version/$tarball
check_version () {

2
version.py
View File

@ -44,4 +44,4 @@ API_FEATURE_LEVEL = 12
# historical commits sharing the same major version, in which case a
# minor version bump suffices.
PROVISION_VERSION = '86.5'
PROVISION_VERSION = '86.6'