소스 검색

debugging the release process

Jeremy G. Siek 1 년 전
부모
커밋
32e7e8a100
1개의 변경된 파일2개의 추가작업 그리고 2개의 파일을 삭제
  1. 2 2
      .github/workflows/ci.yml

+ 2 - 2
.github/workflows/ci.yml

@@ -9,8 +9,8 @@ jobs:
             run: sudo apt-get update && sudo apt-get install --no-install-recommends -y biber latexmk lmodern texlive-bibtex-extra texlive-latex-extra texlive-science
           - name: Checkout
             uses: actions/checkout@v2
-          # - name: Change to python edition
-          #   run: sed -i 's|\\def\\edition{0}|\\def\\edition{1}|g' book.tex
+          - name: Keep Racket edition
+            run: sed -i 's|\\def\\edition{0}|\\def\\edition{0}|g' book.tex
           - name: Build PDF
             run: make
           - name: Release