smithy-polymorph.yml

name: smithy-dafny-codegen-cli workflows

on:
  pull_request:
  push:
    branches:
      - main-1.x

jobs:
  gradle-build-smithy-dafny:
    strategy:
      fail-fast: false
      matrix:
        os: [ubuntu-latest, windows-latest, macos-13]
    runs-on: ${{matrix.os}}
    steps:
      - uses: actions/checkout@v3
        with:
          submodules: recursive
      - uses: actions/setup-java@v3
        with:
          distribution: "corretto"
          java-version: "17"
      - name: Setup Dafny
        uses: dafny-lang/setup-dafny-action@v1.7.0
        with:
          dafny-version: 4.8.1

      - name: Install Smithy-Dafny codegen dependencies
        uses: ./.github/actions/install_smithy_dafny_codegen_dependencies

      - name: Execute smithy-dafny-codegen-cli tests
        uses: gradle/gradle-build-action@v2
        with:
          arguments: :smithy-dafny-codegen-cli:test
          build-root-directory: codegen

      - name: Execute smithy-dafny-codegen tests
        uses: gradle/gradle-build-action@v2
        with:
          arguments: :smithy-dafny-codegen:test
          build-root-directory: codegen

      - name: Build a test model (just to test multiple OS')
        shell: bash
        working-directory: TestModels/SimpleTypes/SimpleString
        run: make polymorph_dafny

      - name: not-grep
        if: matrix.os == 'ubuntu-latest'
        uses: mattsb42-meta/not-grep@1.0.0