diff --git a/.github/workflows/pdf.yml b/.github/workflows/make-dist.yml similarity index 96% rename from .github/workflows/pdf.yml rename to .github/workflows/make-dist.yml index 6d1c553..3c0ee5d 100644 --- a/.github/workflows/pdf.yml +++ b/.github/workflows/make-dist.yml @@ -1,4 +1,4 @@ -name: Makefile CI +name: make dist on: push: @@ -7,8 +7,7 @@ on: branches: [ "main" ] jobs: - build: - + make-dist: runs-on: ubuntu-latest steps: