suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Remove pull_request from on tag for ci-push

Browse Source 
For debug reasons I added pull_request to the on tag in #3119 but forgot to remove it and it went in cd096e0e6b
This commit is contained in:
Paulo Matos 2020-04-30 14:43:03 +02:00 committed by GitHub
parent 0eb9a2a1c4
commit c724cd130e
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
.github/workflows/ci-push.yml vendored
View File

@ -1,6 +1,6 @@
name: CI
on: [push, pull_request]
on: [push]
jobs: