maven.yml

# This workflow will build a Java project with Maven, and cache/restore any dependencies to improve the workflow execution time
# For more information see: https://help.github.com/actions/language-and-framework-guides/building-and-testing-java-with-maven

name: Java CI with Maven

on:
  push:
    branches: [ "main", "develop" ]
  pull_request:
    branches:
  workflow_dispatch:

jobs:
  build:

    runs-on: ubuntu-latest

    steps:
    - uses: actions/checkout@v4
    - uses: cachix/install-nix-action@v31
    - name: Evaluate Nix expressions
      run: |
        nix-instantiate --expr '[ (import ./nix/github-workflow-dependencies.nix) (import ./default.nix)]' 2>&1 | grep -v '^warning: ' | tee derivations
        echo 'dry build'
        nix-store --realize --dry-run $(< derivations) 2>&1 | tee dry-build
        echo 'to be fetched'
        sed '1,/^these .* will be fetched/ d; s/^  //' dry-build | tee fetch
        echo 'to be built'
        sed -n '2,/^these .* will be fetched/ p' dry-build | grep -v '^these' | sed 's/  //' | tee built
    - name: Fetch
      run: nix-store --realize $(< fetch)
    - name: Build
      run: nix-store --realize $(< built)
    - name: Upload Javadoc artifact
      if: ${{ github.event_name == 'push' && github.event.ref == 'refs/heads/main' }}
      uses: actions/upload-pages-artifact@v3
      with:
        path: result/share/github-pages/DiffDetective

  # An additional job is recommened in the documentation of `actions/deploy-pages`
  deploy-javadoc:
    runs-on: ubuntu-latest

    if: ${{ github.event_name == 'push' && github.event.ref == 'refs/heads/main' }}

    needs: build

    # Deploy to the github-pages environment
    environment:
      name: github-pages
      url: ${{ steps.deployment.outputs.page_url }}

    permissions:
      pages: write      # to deploy to Pages
      id-token: write   # to verify the deployment originates from an appropriate source

    steps:
    - name: Publish Javadoc to Github Pages
      id: deployment
      uses: actions/deploy-pages@v4

    # Kill in progress deployments because only the newest version is relevant
    # and concurrent deployments cause CI failures.
    concurrency:
      group: ${{ github.workflow }}-${{ github.ref }}
      cancel-in-progress: true