sync.yml

name: Sync benchmarks

on:
  workflow_dispatch:
    inputs:
      effekt_commit:
        description: "Commit SHA of Effekt submodule to checkout and build. If omitted, the latest commit is chosen. (OPTIONAL)"
        required: false
  schedule:
    - cron:  '0 */12 * * *'

permissions:
  contents: write

jobs:
  sync:
    runs-on: ubuntu-latest
    steps:
      - name: Checkout repository
        uses: actions/checkout@v4
        with:
          submodules: recursive
          fetch-depth: 0

      - name: Set up NodeJS
        uses: actions/setup-node@v3
        with:
          node-version: 16

      - name: Set up JDK 11
        uses: actions/setup-java@v1
        with:
          java-version: 11
        
      - name: Checkout given commit
        if: "${{ github.event.inputs.effekt_commit != '' }}"
        run: |
          git -C effekt/ checkout ${{ github.event.inputs.effekt_commit }}

      - name: Checkout most recent commit
        if: "${{ github.event.inputs.effekt_commit == '' }}"
        run: |
          git -C effekt/ checkout master
          git -C effekt/ pull

      - name: Update submodule
        run: |
          git submodule update --recursive --remote --init

      - name: Install generator dependencies
        run: |
          sudo apt update
          sudo apt install jq cloc

      - name: Generate data
        run: |
          cd generate/ && ./main.sh

      - name: Push new data
        run: |
          git add effekt data
          git config --global user.name 'GitHub Action'
          git config --global user.email ''
          git commit -m "GitHub Action: Automated sync"
          git push