eth.yml

name: eth

on:
  push:
  workflow_dispatch:

jobs:
  eth:
    runs-on: ubuntu-latest
    container:
      image: charlessherk/cs4120-vm:latest
      volumes:
        - /docker-data:/home/student/shared
      options: --user root

    steps:
      # Checks-out your repository under $GITHUB_WORKSPACE, so your job can access it
      - uses: actions/checkout@v3

      - uses: gradle/gradle-build-action@v2
        with:
          gradle-version: 7.6

      - name: Update runtime
        working-directory: /home/student/runtime
        run: |
          export TERMINFO=/lib/terminfo
          export DISPLAY=host.docker.internal:0
          ./update

      - name: Update eth
        working-directory: /home/student/eth
        run: ./update

      - name: Package source code
        run: |
          make
          mv submission.zip /home/student/shared
          unzip -qq /home/student/shared/submission.zip -d /home/student/shared/production

      - name: Run custom tests
        working-directory: /home/student/
        run: eth /home/student/shared/production/src/tests/ethScript -ec -compilerpath /home/student/shared/production/