From 008dcf7043946edb6faaed66fcf76e57b5ee838b Mon Sep 17 00:00:00 2001 From: Tanguy Cizain Date: Tue, 13 Jul 2021 10:26:49 +0200 Subject: [PATCH] Faster CI (#603) * ci on PR only * add option to run ci manually * thanks Stefan --- .github/workflows/ci.yml | 7 ++++++- .github/workflows/codecov.yml | 8 +++++++- 2 files changed, 13 insertions(+), 2 deletions(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 2351d03..6c3feeb 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -1,5 +1,10 @@ name: CI -on: [push, pull_request] +on: + push: + branches: + - master + pull_request: + workflow_dispatch: jobs: build: diff --git a/.github/workflows/codecov.yml b/.github/workflows/codecov.yml index 7ec2752..8e4282a 100644 --- a/.github/workflows/codecov.yml +++ b/.github/workflows/codecov.yml @@ -1,6 +1,12 @@ 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: GossipSub: