diff --git a/.github/workflows/CI-Tests.yml b/.github/workflows/CI-Tests.yml index 45d8ece7def..5e9c051e260 100644 --- a/.github/workflows/CI-Tests.yml +++ b/.github/workflows/CI-Tests.yml @@ -3,6 +3,9 @@ on: pull_request: types: [opened, synchronize] workflow_dispatch: + push: + branches: + - 'master' jobs: Code-Style: diff --git a/.github/workflows/VS-CI-Tests.yml b/.github/workflows/VS-CI-Tests.yml index 3c26e24d959..a194d1c14d9 100644 --- a/.github/workflows/VS-CI-Tests.yml +++ b/.github/workflows/VS-CI-Tests.yml @@ -4,6 +4,9 @@ on: pull_request: types: [opened, synchronize] workflow_dispatch: + push: + branches: + - 'master' env: CHOCO_CACHE_DIR: "${{ github.workspace }}/choco-cache" diff --git a/README.md b/README.md index aca3a690f69..d801b7b1bdb 100644 --- a/README.md +++ b/README.md @@ -5,8 +5,8 @@ The Soufflé language is similar to Datalog (but has terms known as records), an domain-specific language for analysis problems. [![License: UPL](https://img.shields.io/badge/License-UPL--1.0-blue.svg)](https://github.com/souffle-lang/souffle/blob/master/LICENSE) -[![CI-Tests](https://github.com/souffle-lang/souffle/actions/workflows/CI-Tests.yml/badge.svg)](https://github.com/souffle-lang/souffle/actions/workflows/CI-Tests.yml) -[![MSVC-CI-Tests](https://github.com/souffle-lang/souffle/actions/workflows/VS-CI-Tests.yml/badge.svg)](https://github.com/souffle-lang/souffle/actions/workflows/VS-CI-Tests.yml) +[![CI-Tests](https://github.com/souffle-lang/souffle/actions/workflows/CI-Tests.yml/badge.svg?event=push)](https://github.com/souffle-lang/souffle/actions/workflows/CI-Tests.yml) +[![MSVC-CI-Tests](https://github.com/souffle-lang/souffle/actions/workflows/VS-CI-Tests.yml/badge.svg?event=push)](https://github.com/souffle-lang/souffle/actions/workflows/VS-CI-Tests.yml) [![codecov](https://codecov.io/gh/souffle-lang/souffle/branch/master/graph/badge.svg)](https://codecov.io/gh/souffle-lang/souffle) ## Features of Soufflé