test_all.yml

name: Run All Unit Tests
on:
  push:
    branches:
      - main
  pull_request:
    branches:
      - main
  workflow_dispatch:
jobs:
  compile_job:
    name: test_all
    runs-on: ubuntu-latest
    container:
      image: ghcr.io/lasp/adamant:example-latest
    env:
      INSTALL_DIR: /home/user/env
      EXAMPLE_DIR: ${{ github.workspace }}/adamant_example
      ADAMANT_DIR: ${{ github.workspace }}/adamant
    steps:
      - run: echo "Starting job triggered by a ${{ github.event_name }} event on a ${{ runner.os }} server hosted by GitHub."
      - run: echo "Checking out ${{ github.repository }} on branch ${{ github.ref }}."
      - name: Check out repository code
        uses: actions/checkout@v3
        with:
          set-safe-directory: true
          path: adamant_example
      - name: Clone adamant repository
        uses: actions/checkout@v3
        with:
          set-safe-directory: true
          repository: lasp/adamant
          path: adamant
      - name: Get Adamant alire dependencies
        run: alr -n build --release && alr -n toolchain --select gnat_native && alr -n toolchain --select gprbuild
        working-directory: ${{ env.ADAMANT_DIR }}
      - name: Get example alire dependencies
        run: alr -n build --release
        working-directory: ${{ env.EXAMPLE_DIR }}
      - name: Run all unit tests
        run: bash adamant_example/docker/env/github_run.sh "redo adamant_example/test_all"
      - name: Archive logs for failed unit tests
        if: always()
        uses: actions/upload-artifact@v3
        with:
          name: failed_test_logs
          path: adamant_example/build/failed_test_logs
          if-no-files-found: ignore
      - run: echo "Finished with status - ${{ job.status }}."
        if: always()