Fix location tracking for for loop expressions #274
Workflow file for this run
This file contains hidden or 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: docs | |
| on: | |
| push: | |
| pull_request: | |
| workflow_dispatch: | |
| permissions: | |
| contents: read | |
| pages: write | |
| id-token: write | |
| jobs: | |
| build: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: Checkout code | |
| uses: actions/checkout@v6 | |
| with: | |
| fetch-depth: 0 # fetch all history such that subst gives nice version | |
| - name: Set up OCaml 4.14.x | |
| uses: ocaml/setup-ocaml@v3 | |
| with: | |
| ocaml-compiler: 4.14.x | |
| - name: Setup Pages | |
| id: pages | |
| uses: actions/configure-pages@v5 | |
| - run: opam pin add goblint-cil.dev . --no-action | |
| - run: opam depext goblint-cil --yes | |
| - run: opam depext goblint-cil --yes --with-doc | |
| - run: opam install . --deps-only --with-doc | |
| - name: Build docs | |
| run: | | |
| opam exec -- dune subst | |
| opam exec -- dune build @heveadoc | |
| - name: Upload artifact | |
| uses: actions/upload-pages-artifact@v4 | |
| with: | |
| path: _build/default/doc/html/cil/ | |
| deploy: | |
| if: ${{ github.event_name == 'push' && github.ref == 'refs/heads/develop' }} | |
| needs: build | |
| runs-on: ubuntu-latest | |
| environment: | |
| name: github-pages | |
| url: ${{ steps.deployment.outputs.page_url }} | |
| concurrency: | |
| group: "pages" | |
| cancel-in-progress: true | |
| steps: | |
| - name: Deploy to GitHub Pages | |
| id: deployment | |
| uses: actions/deploy-pages@v4 |