Skip to content

Upstream changes from Dune Project #19

Upstream changes from Dune Project

Upstream changes from Dune Project #19

Workflow file for this run

name: CI
on:
push:
branches:
- main
pull_request:
branches:
- main
workflow_dispatch:
jobs:
test:
name: Testing UseLatexMk
runs-on: ubuntu-22.04
steps:
- name: Checking out the UseLatexMk repository
uses: actions/checkout@v4
- name: Run test suite
run: |
./test/testdriver.sh ${{runner.workspace}}/UseLatexMk