From f3c926a7ffedc4d7dfee2392770c3b15a3d1baaa Mon Sep 17 00:00:00 2001 From: Denis Merigoux Date: Thu, 3 Feb 2022 16:17:02 +0100 Subject: [PATCH] Better --- .github/workflows/build.yml | 7 +------ .github/workflows/run-make-all.yml | 11 ++--------- 2 files changed, 3 insertions(+), 15 deletions(-) diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 5da11857..91989621 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -1,16 +1,11 @@ -# This is a basic workflow to help you get started with Actions +name: FullBuildCI -name: CI - -# Controls when the action will run. Triggers the workflow on push or pull request -# events but only for the master branch on: push: branches: [master] issue_comment: types: [created, edited, deleted] -# A workflow run is made up of one or more jobs that can run sequentially or in parallel jobs: build-nix-21-05: if: contains(github.event.comment.html_url, '/pull/') && contains(github.event.comment.body, '+build') diff --git a/.github/workflows/run-make-all.yml b/.github/workflows/run-make-all.yml index 5d6fdd5a..5c19b65d 100644 --- a/.github/workflows/run-make-all.yml +++ b/.github/workflows/run-make-all.yml @@ -1,14 +1,7 @@ -# This is a basic workflow to help you get started with Actions +name: RoutineCI -name: CI - -# Controls when the action will run. Triggers the workflow on push or pull request -# events but only for the master branch on: - push: - branches: [master] - pull_request: - branches: * + push # A workflow run is made up of one or more jobs that can run sequentially or in parallel jobs: