From 6162d603f9638a678cc4cc227f41169d4fdc5869 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Mon, 10 Aug 2020 18:00:58 +0200 Subject: Add badge for admitted proofs --- .github/workflows/admitted.yml | 32 ++++++++++++++++++++++++++++++++ 1 file changed, 32 insertions(+) create mode 100644 .github/workflows/admitted.yml (limited to '.github') diff --git a/.github/workflows/admitted.yml b/.github/workflows/admitted.yml new file mode 100644 index 0000000..7463a10 --- /dev/null +++ b/.github/workflows/admitted.yml @@ -0,0 +1,32 @@ +# This is a basic workflow to help you get started with Actions + +name: Admitted Icon + +# 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: [ master ] + +# A workflow run is made up of one or more jobs that can run sequentially or in parallel +jobs: + # This workflow contains a single job called "build" + build: + # The type of runner that the job will run on + runs-on: ubuntu-latest + + # Steps represent a sequence of tasks that will be executed as part of the job + steps: + # Checks-out your repository under $GITHUB_WORKSPACE, so your job can access it + - uses: actions/checkout@v2 + + # Runs a single command using the runners shell + - name: Generate Admitted icon + run: python3 scripts/statistics.py src + + - uses: actions/upload-artifact@v2 + with: + name: admitted-icon + path: admitted.svg -- cgit