Skip to content

Commit a537ebd

Browse files
Add reason to gh workflows
1 parent 34febbc commit a537ebd

File tree

1 file changed

+8
-0
lines changed

1 file changed

+8
-0
lines changed

.github/workflows/build.yaml

Lines changed: 8 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -37,6 +37,10 @@ jobs:
3737
output: ctfp-reader-ocaml.pdf
3838
- input: ctfp-print-ocaml.tex
3939
output: ctfp-print-ocaml.pdf
40+
- input: ctfp-reader-reason.tex
41+
output: ctfp-reader-reason.pdf
42+
- input: ctfp-print-reason.tex
43+
output: ctfp-print-reason.pdf
4044

4145
steps:
4246
- name: Set up Git repository
@@ -97,6 +101,10 @@ jobs:
97101
destination: category-theory-for-programmers--print--ocaml--
98102
- source: ctfp-reader-ocaml.pdf
99103
destination: category-theory-for-programmers--reader--ocaml--
104+
- source: ctfp-print-reason.pdf
105+
destination: category-theory-for-programmers--print--reason--
106+
- source: ctfp-reader-reason.pdf
107+
destination: category-theory-for-programmers--reader--reason--
100108
steps:
101109
- name: Download build assets (${{ matrix.assets.source }})
102110
uses: actions/download-artifact@v2

0 commit comments

Comments
 (0)