artin/sourcegraph
1
0
Fork 0
mirror of https://github.com/sourcegraph/sourcegraph.git synced 2026-02-06 16:51:55 +00:00
Code Issues Packages Projects Releases Wiki Activity

build on PR, not push (#56125)

Browse Source
This commit is contained in:
Dave Try 2023-08-22 09:30:39 -05:00 committed by GitHub
parent 43e2655006
commit 87dcc9f8d7
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
.github/workflows/universal-ctags.yml vendored
View File

@ -1,9 +1,9 @@
name: universal-ctags
on:
push:
pull_request:
paths:
- 'dev/nix/ctags.nix'
- 'dev/nix/ctags.nix'
workflow_dispatch:
permissions:
contents: 'read'