From ce22d079779d64de7cce384a5fcccd2a0c4628f9 Mon Sep 17 00:00:00 2001 From: "Erik C. Thauvin" Date: Wed, 30 Aug 2023 22:02:45 -0700 Subject: [PATCH] Minor cleanup --- .github/workflows/bld.yml | 32 ----------- .github/workflows/pages.yml | 57 ------------------- .idea/misc.xml | 4 +- README.md | 0 .../inspectionProfiles/Project_Default.xml | 8 +++ examples/.idea/misc.xml | 7 ++- examples/.idea/vcs.xml | 6 ++ pages.yml | 57 ------------------- .../bld/extension/CheckstyleOperation.java | 10 ++-- 9 files changed, 27 insertions(+), 154 deletions(-) mode change 100755 => 100644 README.md create mode 100644 examples/.idea/inspectionProfiles/Project_Default.xml create mode 100644 examples/.idea/vcs.xml delete mode 100644 pages.yml diff --git a/.github/workflows/bld.yml b/.github/workflows/bld.yml index 2b0ba38..e69de29 100644 --- a/.github/workflows/bld.yml +++ b/.github/workflows/bld.yml @@ -1,32 +0,0 @@ -name: bld-ci - -on: [ push, pull_request, workflow_dispatch ] - -jobs: - build-bld-project: - runs-on: ubuntu-latest - - strategy: - matrix: - java-version: [ 17, 20 ] - - steps: - - name: Checkout source repository - uses: actions/checkout@v3 - with: - fetch-depth: 0 - - - name: Set up JDK ${{ matrix.java-version }} - uses: actions/setup-java@v3 - with: - distribution: 'zulu' - java-version: ${{ matrix.java-version }} - - - name: Grant execute permission for bld - run: chmod +x bld - - - name: Download the dependencies - run: ./bld download - - - name: Run tests with bld - run: ./bld compile test diff --git a/.github/workflows/pages.yml b/.github/workflows/pages.yml index f6122cd..e69de29 100644 --- a/.github/workflows/pages.yml +++ b/.github/workflows/pages.yml @@ -1,57 +0,0 @@ -name: javadocs-pages - -on: - # Runs on pushes targeting the default branch - push: - branches: ["master"] - - # Allows you to run this workflow manually from the Actions tab - workflow_dispatch: - -# Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages -permissions: - contents: read - pages: write - id-token: write - -# Allow one concurrent deployment -concurrency: - group: "pages" - cancel-in-progress: true - -jobs: - # Single deploy job since we're just deploying - deploy: - environment: - name: github-pages - url: ${{ steps.deployment.outputs.page_url }} - - runs-on: ubuntu-latest - - steps: - - name: Checkout source repository - uses: actions/checkout@v3 - with: - fetch-depth: 0 - - - name: Set up JDK 17 - uses: actions/setup-java@v3 - with: - distribution: 'zulu' - java-version: 17 - - - name: Build Javadocs - run: ./bld download clean javadoc - - - name: Setup Pages - uses: actions/configure-pages@v3 - - - name: Upload artifact - uses: actions/upload-pages-artifact@v1 - with: - # Upload generated Javadocs repository - path: 'build/javadoc/' - - - name: Deploy to GitHub Pages - id: deployment - uses: actions/deploy-pages@v1 \ No newline at end of file diff --git a/.idea/misc.xml b/.idea/misc.xml index af10cee..083a492 100644 --- a/.idea/misc.xml +++ b/.idea/misc.xml @@ -8,7 +8,9 @@