herdtools7/.github/workflows/check-build-www.yml at 0b25388f4dda496a301b32ee099a9f77966e1748 · RaghavRoy145/herdtools7 · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
name: Check Build WWW

on:
  workflow_dispatch:
    inputs:
      pr_number:
        description: "Optional PR number to build (uses refs/pull/<n>/head)"
        required: false
        type: string
  schedule:
      - cron: '0 8 * * 0'

jobs:
  build:
    runs-on: ubuntu-latest

    steps:
      - name: Checkout PR head ref (if provided)
        if: ${{ github.event.inputs.pr_number != '' }}
        uses: actions/checkout@v4
        with:
          ref: refs/pull/${{ github.event.inputs.pr_number }}/head

      - name: Checkout default branch
        if: ${{ github.event.inputs.pr_number == '' }}
        uses: actions/checkout@v4

      - name: Set-up OCaml 5
        uses: ocaml/setup-ocaml@v3
        with:
          ocaml-compiler: 5.1.0
      - run: |
          opam install dune menhir zarith js_of_ocaml.5.4.0 js_of_ocaml-ppx zarith_stubs_js
          opam exec -- make Version.ml
          opam exec -- dune build tools/cat2html.exe
          opam exec -- make -C herd-www