Read clauses on methods #340
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: Build DafnyRef.pdf | |
| on: | |
| workflow_dispatch: | |
| pull_request: | |
| branches: [ master, main-* ] | |
| concurrency: | |
| group: ${{ github.workflow }}-${{ github.ref }} | |
| cancel-in-progress: true | |
| jobs: | |
| check-deep-tests: | |
| uses: ./.github/workflows/check-deep-tests-reusable.yml | |
| with: | |
| branch: master | |
| build: | |
| needs: check-deep-tests | |
| if: always() && (( github.event_name == 'pull_request' && (needs.check-deep-tests.result == 'success' || contains(github.event.pull_request.labels.*.name, 'run-deep-tests'))) || ( github.event_name == 'push' && ( github.ref_name == 'master' || vars.TEST_ON_FORK == 'true' ))) | |
| runs-on: ${{ matrix.os }} | |
| strategy: | |
| fail-fast: false | |
| matrix: | |
| os: [ macos-latest ] | |
| # os: [macos-latest, ubuntu-latest ] | |
| steps: | |
| - name: OS | |
| run: echo ${{ runner.os }} ${{ matrix.os }} | |
| - name: Setup dotnet | |
| uses: actions/setup-dotnet@v3 | |
| with: | |
| dotnet-version: 6.0.x | |
| - name: Checkout Dafny | |
| uses: actions/checkout@v3 | |
| with: | |
| submodules: recursive | |
| path: dafny | |
| - name: Build Dafny | |
| run: dotnet build dafny/Source/Dafny.sln | |
| - name: Install latex pandoc - Linux | |
| if: runner.os == 'Linux' | |
| run: | | |
| sudo apt-get install texlive texlive-xetex | |
| wget https://github.com/jgm/pandoc/releases/download/2.10.1/pandoc-2.10.1-1-amd64.deb | |
| sudo dpkg -i *.deb | |
| rm -rf *.deb | |
| # apt-get has pandoc, but it is outdated | |
| - name: Extra linux packages | |
| if: matrix.os == 'ubuntu-latest' | |
| run: | | |
| sudo apt-get install texlive-science | |
| sudo tlmgr init-usertree | |
| sudo tlmgr update --self | |
| sudo tlmgr install framed tcolorbox environ trimspaces unicode-math | |
| pandoc -v | |
| which latex || echo NOT FOUND latex | |
| which xelatex || echo NOT FOUND xelatex | |
| sudo gem install rouge | |
| - if: matrix.os != 'ubuntu-latest' && runner.os == 'Linux' | |
| run: | | |
| sudo apt-get install texlive-math-extra | |
| sudo tlmgr init-usertree | |
| sudo tlmgr update --self | |
| sudo tlmgr install framed tcolorbox environ trimspaces unicode-math | |
| pandoc -v | |
| which latex || echo NOT FOUND latex | |
| which xelatex || echo NOT FOUND xelatex | |
| sudo gem install rouge | |
| - name: Install latex pandoc - MacOS | |
| if: runner.os == 'MacOS' | |
| run: | | |
| unset HOMEBREW_NO_INSTALL_FROM_API | |
| brew untap Homebrew/core | |
| brew update-reset && brew update | |
| brew install pandoc | |
| brew install --cask basictex | |
| eval "$(/usr/libexec/path_helper)" | |
| sudo tlmgr update --self | |
| sudo tlmgr install framed tcolorbox environ trimspaces unicode-math | |
| pandoc -v | |
| which latex || echo NOT FOUND latex | |
| which xelatex || echo NOT FOUND xelatex | |
| sudo gem install rouge -v 3.30.0 | |
| - name: Build reference manual | |
| run: | | |
| eval "$(/usr/libexec/path_helper)" | |
| rm -f dafny/docs/DafnyRef/DafnyRef.pdf | |
| make -C dafny/docs/DafnyRef | |
| - name: Check | |
| run: ls -la dafny/docs/DafnyRef/DafnyRef.pdf | |
| - uses: actions/upload-artifact@v3 | |
| if: always() | |
| with: | |
| name: DafnyRef | |
| path: dafny/docs/DafnyRef/DafnyRef.pdf | |
| # Building the reference manual may update files, | |
| # such as renumbering sections or updating Options.txt. | |
| # These changes should have been checked in earlier, | |
| # so fail the build if anything changed. | |
| - name: Check for modifications | |
| run: 'git diff --exit-code || (echo "ERROR: Source changes detected (see above). Build the reference manual locally and commit these changes." && exit 1)' | |
| working-directory: dafny |