mmtk-bindgen.yml

name: MMTk
on:
  push:
    paths-ignore:
      - '**.md'
  pull_request:
    # Do not use paths-ignore for required status checks
    # https://docs.github.com/en/pull-requests/collaborating-with-pull-requests/collaborating-on-repositories-with-code-quality-features/troubleshooting-required-status-checks#handling-skipped-but-required-checks
  merge_group:

concurrency:
  group: ${{ github.workflow }} / ${{ startsWith(github.event_name, 'pull') && github.ref_name || github.sha }}
  cancel-in-progress: ${{ startsWith(github.event_name, 'pull') }}

permissions:
  contents: read

jobs:
  check:
    strategy:
      fail-fast: false
      matrix:
        gc:
          - name: mmtk
            mmtk_plan: MarkSweep
            mmtk_build: release
        os: ubuntu-latest

    runs-on: ${{ matrix.os }}
      - uses: actions/checkout@d632683dd7b4114ad314bca15554477dd762a938 # v4.2.0
      - uses: ./.github/actions/setup/mmtkbuilder
        with:
          os: ${{ matrix.os }}
          mmtk_plan: ${{ matrix.gc.mmtk_plan }}
          mmtk_build: ${{ matrix.gc.mmtk_build }}

      - name: Install Bundler dependencies
        run: bundle install

      - name: build Ruby & MMTk shared GC
        run: rake compile

      - name: Verify MMTk bindgen
        run: |
          cd gc/mmtk
          cargo install --force cbindgen
          cbindgen --config cbindgen.toml --output ../mmtk.h
          if read -n1 -d '' < <(git diff ../mmtk.h); then
            git diff ../mmtk.h
            exit 1
          fi