check-versioning.yml

name: Check versioning

on:
  push:
    branches: [ main ]
    paths-ignore:
      - '.gitignore'
      - 'LICENSE'
      - '**.md'
      - Notice.txt
      - '.github/workflows/check-versioning.yml'
      - '.github/workflows/check-rust.yml'
      - '.github/workflows/run-tarpaulin.yml'
      - '.github/workflows/run-test-cases.yml'
      - '.github/ISSUE_TEMPLATE/**'
      - '.github/CODEOWNERS'
      - '.vscode/**'
      - docs/**
      - scripts/**
      - tests/**
  pull_request:
    branches: [ main ]
    paths-ignore:
      - '.gitignore'
      - 'LICENSE'
      - '**.md'
      - Notice.txt
      - '.github/workflows/check-versioning.yml'
      - '.github/workflows/check-rust.yml'
      - '.github/workflows/run-tarpaulin.yml'
      - '.github/workflows/run-test-cases.yml'
      - '.github/ISSUE_TEMPLATE/**'
      - '.github/CODEOWNERS'
      - '.vscode/**'
      - docs/**
      - scripts/**
      - tests/**
  pull_request_target:
    branches: [ main ]
    paths-ignore:
      - '.gitignore'
      - 'LICENSE'
      - '**.md'
      - Notice.txt
      - '.github/workflows/check-versioning.yml'
      - '.github/workflows/check-rust.yml'
      - '.github/workflows/run-tarpaulin.yml'
      - '.github/workflows/run-test-cases.yml'
      - '.github/ISSUE_TEMPLATE/**'
      - '.github/CODEOWNERS'
      - '.vscode/**'
      - docs/**
      - scripts/**
      - tests/**
  release:
    types:
      - published

env:
  CARGO_TERM_COLOR: always

jobs:
  build:
    # Run workflow pull_request if it is NOT a fork, as pull_request_target if it IS a fork
    if: >-
      ( github.event_name == 'pull_request_target' && github.event.pull_request.head.repo.fork == true ) ||
      ( github.event_name == 'pull_request' && github.event.pull_request.head.repo.fork == false ) ||
      ( !(startsWith(github.event_name, 'pull_request')) )
    runs-on: ubuntu-latest
    timeout-minutes: 5

    steps:
    - name: Checkout the merged commit from PR and base branch
      uses: actions/checkout@v2
      if: github.event_name == 'pull_request_target'
      with:
        # pull_request_target is run in the context of the base repository
        # of the pull request, so the default ref is master branch and
        # ref should be manually set to the head of the PR
        ref: refs/pull/${{ github.event.pull_request.number }}/head
        persist-credentials: false

    - name: Checkout the head commit of the branch
      if: ${{ github.event_name != 'pull_request_target' }}
      uses: actions/checkout@v2
      with:
        persist-credentials: false
    
    # Only run version check for PRs.  If PR title does NOT contain "[SAME VERSION]", then ensure that
    # version.txt is different from what is in main.
    - if: startsWith(github.event_name, 'pull_request') && contains(github.event.pull_request.title, '[SAME VERSION]') == false
      name: Run version check
      run: ./version.sh -c
    # If PR title does contain "[SAME VERSION]", then do not check that version.txt is different from
    # what is in main.
    - if: startsWith(github.event_name, 'pull_request') && contains(github.event.pull_request.title, '[SAME VERSION]') == true
      name: Run version check
      run: ./version.sh -c -s