name: Upload FMFP Summary
on:
  push:
    paths:
      - 'semester4/fmfp/formal-methods-functional-programming-summary.pdf'
jobs:
  upload_document:
    runs-on: ubuntu-latest
    steps:
      - name: Set up Git repository
        uses: actions/checkout@v6
      - name: Upload to ComSol
        uses: ./.github/actions/upload-to-comsol
        with:
          access_token: ${{ secrets.TOKEN_FMFP }}
          file: ./semester4/fmfp/formal-methods-functional-programming-summary.pdf
          url: https://exams.vis.ethz.ch/api/document/jahutz/summary-tips-and-tricks-fs2026/files/820/update/