toplevel_ci_push.yml

# This is a basic workflow to help you get started with Actions

name: CI Push

# Controls when the action will run. 
on:
  # Triggers the workflow on push or pull request events but only for the master branch
  push:
    paths:
      - 'toplevel_build/**'
      - '!toplevel_build/BUILD.md'
      - '!toplevel_build/compile.sh'
    branches: [ master ]

  # Allows you to run this workflow manually from the Actions tab
  workflow_dispatch:

# A workflow run is made up of one or more jobs that can run sequentially or in parallel
jobs:
  # This workflow contains a single job called "build"
  build:
    # The type of runner that the job will run on
    runs-on: ubuntu-latest

    # Steps represent a sequence of tasks that will be executed as part of the job
    steps:
      # Checks-out your repository under $GITHUB_WORKSPACE, so your job can access it
      - uses: actions/checkout@v4
      
      - name: Install opam
        run : |
          sudo apt update
          sudo apt install opam libx11-dev
          opam init
      
      - name: Compile
        run: |
          cd toplevel_build
          chmod +x compile.sh
          bash compile.sh 5.3.0
          cd ..
          cp toplevel_build/builds/toplevel-5.3.0.js src/toplevels/toplevel-5.3.0.js
      
      - name: Check if file exist
        run: test -f "./toplevel_build/builds/toplevel-5.3.0.js" || exit 1
      
      - name: Commit changes
        uses: EndBug/add-and-commit@v7
        with:
          author_name: jbdoderlein
          author_email: jean.baptiste.doderlein@gmail.com
          message: 'CI - Update compiled toplevel'
          add: 'src/toplevels/toplevel-5.3.0.js'