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 @@