Browse Source

changed type of event

pull/895/head
Istratov Dmitrii 4 years ago committed by GitHub
parent
commit
15111f9bae
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
  1. 3
      .github/workflows/symbols-counting.yml

3
.github/workflows/symbols-counting.yml

@ -1,6 +1,7 @@ @@ -1,6 +1,7 @@
name: Symbols counting
on:
workflow_dispatch:
pull_request:
types: [closed]
jobs:
syms-count:

Loading…
Cancel
Save