diff options
| author | John MacFarlane <[email protected]> | 2023-03-21 21:08:02 -0700 |
|---|---|---|
| committer | John MacFarlane <[email protected]> | 2023-03-25 22:05:52 -0700 |
| commit | 9edf965712d3795bd8cb3c5f2757204b0324aede (patch) | |
| tree | 4daf2995b4d442b773b8346da29f55d269bed996 /.github | |
| parent | d8ec5c4b752c3fd09f0c5abdd7f1f5097835a6de (diff) | |
Add typst writer.
See #8713.
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/ci.yml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 850ba89fc..348d2e83c 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -5,6 +5,7 @@ on: branches: - '*' - '!rc/*' + - '!typst-writer' paths-ignore: - 'doc/*.md' - 'MANUAL.txt' |