Mirror/zeek
1
0
Fork 0
mirror of https://github.com/zeek/zeek.git synced 2025-10-02 06:38:20 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 1

Merge remote-tracking branch 'origin/topic/jsiwek/fix-coverity'

Browse source 
* origin/topic/jsiwek/fix-coverity:
  Update Coverity Scan GitHub Action

Fixes GH-1330
This commit is contained in:
Jon Siwek 2020-12-12 13:39:28 -08:00
commit 9658271d19
3 changed files with 15 additions and 9 deletions
Download patch file Download diff file Expand all files Collapse all files

2
VERSION
View file

@ -1 +1 @@
3.3.0-dev.645
3.3.0-dev.648