diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index c8f65a3f..9cd9146f 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -29,6 +29,7 @@ jobs: pgfopts setspace xurl + microtype - name: document run: l3build doc - name: build