Faster CI (#603)

* ci on PR only

* add option to run ci manually

* thanks Stefan
This commit is contained in:
Tanguy Cizain 2021-07-13 10:26:49 +02:00 committed by GitHub
parent c12f00c8b6
commit 008dcf7043
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 13 additions and 2 deletions

View File

@ -1,5 +1,10 @@
name: CI name: CI
on: [push, pull_request] on:
push:
branches:
- master
pull_request:
workflow_dispatch:
jobs: jobs:
build: build:

View File

@ -1,6 +1,12 @@
name: nim-libp2p codecov builds name: nim-libp2p codecov builds
on: [push, pull_request] on:
#On push to common branches, this computes the "bases stats" for PRs
push:
branches:
- master
pull_request:
workflow_dispatch:
jobs: jobs:
GossipSub: GossipSub: