main.yml

name: dialyzer

on:
  push:
    branches: [master]
  pull_request:
    branches: [master]
  schedule:
    - cron: "0 0 * * *"
  workflow_dispatch:
    inputs:
      repository:
        description: "elixir source repo to check out"
        required: false
        default: "michallepicki/elixir"
      ref:
        description: "elixir source ref to check out"
        required: false
        default: "patch-1"

jobs:
  dialyzer:
    strategy:
      matrix:
          otp_release: ['OTP-25.3.2.11', 'OTP-26.2.4', 'OTP-27.0-rc3']
      fail-fast: false
    runs-on: ubuntu-22.04
    steps:
      - name: Checkout
        uses: actions/checkout@v4

      - name: Install erlang
        run: |
          echo "`pwd`/erlang/bin" >> $GITHUB_PATH
          curl -Lo erlang.tar.gz https://builds.hex.pm/builds/otp/ubuntu-22.04/${{ matrix.otp_release }}.tar.gz
          mkdir erlang
          tar zxf erlang.tar.gz -C erlang --strip-components=1
          erlang/Install -minimal  `pwd`/erlang
          rm erlang.tar.gz

      - name: Get elixir source code
        uses: actions/checkout@v4
        with:
          repository: ${{ github.event.inputs.repository || 'elixir-lang/elixir' }}
          ref: ${{ github.event.inputs.ref || 'main' }}
          path: elixir

      - name: Compile elixir
        run: |
          cd elixir
          make compile
          cd ../

      - name: Handle otp PLT file caching
        uses: actions/cache@v4
        with:
          path: plt/*
          key: v4-${{ matrix.otp_release }}

      - name: Check Elixir
        run: elixir/bin/elixir dialyzer.exs

      - name: Save the report
        if: ${{ always() }}
        uses: actions/upload-artifact@v4
        with:
          name: ${{ matrix.otp_release }}-report
          path: report