[CI] update code #2025
Workflow file for this run
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: ocaml | |
| on: | |
| push: | |
| branches: | |
| - main | |
| - dev | |
| - 'hacl-star-**' | |
| paths-ignore: | |
| - .gitignore | |
| - CLA.md | |
| - CODE_OF_CONDUCT.md | |
| - CONTRIBUTING.md | |
| - cpu-features.md | |
| - LICENSE | |
| - LICENSE-APACHE | |
| - README.md | |
| pull_request: | |
| # Can't use an YAML anchor because "Anchors are not currently supported." (GitHub 12/07/2022) | |
| paths-ignore: | |
| - .gitignore | |
| - CLA.md | |
| - CODE_OF_CONDUCT.md | |
| - CONTRIBUTING.md | |
| - cpu-features.md | |
| - LICENSE | |
| - LICENSE-APACHE | |
| - README.md | |
| workflow_dispatch: | |
| merge_group: | |
| concurrency: | |
| group: ${{ github.workflow }}-${{ github.ref }} | |
| cancel-in-progress: true | |
| jobs: | |
| # mach: | |
| # runs-on: ubuntu-latest | |
| # steps: | |
| # - uses: actions/checkout@v3 | |
| # - name: Cache Setup | |
| # id: cache-ocaml-setup | |
| # uses: actions/cache@v3 | |
| # with: | |
| # path: ~/.opam | |
| # key: ${{ runner.os }}-ocaml-setup | |
| # - name: System Setup | |
| # run: sudo apt-get install ninja-build opam libgmp-dev | |
| # - name: OCaml Setup | |
| # if: steps.cache-ocaml-setup.outputs.cache-hit != 'true' | |
| # run: | | |
| # opam init --auto-setup --disable-sandboxing --yes --bare | |
| # opam switch create 4.14.1 --yes | |
| # eval $(opam env) | |
| # opam install --yes ocamlfind ctypes zarith cppo | |
| # - name: Debug Build | |
| # run: | | |
| # eval $(opam env) | |
| # ./mach build -l ocaml -v | |
| # - name: Release Build | |
| # run: | | |
| # eval $(opam env) | |
| # ./mach build --release -l ocaml -v | |
| # - name: Test Debug | |
| # run: | | |
| # eval $(opam env) | |
| # ./mach test -l ocaml -v | |
| packaging: | |
| strategy: | |
| fail-fast: false | |
| matrix: | |
| os: | |
| - macos-latest | |
| - ubuntu-latest | |
| runs-on: ${{ matrix.os }} | |
| steps: | |
| - uses: actions/checkout@v3 | |
| - name: Setup Ubuntu | |
| if: matrix.os == 'ubuntu-latest' | |
| run: sudo apt-get install ninja-build libgmp-dev | |
| - name: Setup macOS | |
| if: matrix.os == 'macos-latest' | |
| run: brew install ninja gmp pkg-config | |
| - name: OCaml Setup 1/2 | |
| uses: ocaml/setup-ocaml@v2 | |
| with: | |
| ocaml-compiler: 4.14.1 | |
| - name: OCaml Setup 2/2 | |
| run: | | |
| opam install --yes ocamlfind ctypes zarith cppo | |
| - name: Setup HACL opam | |
| run: ./opam.sh | |
| - name: Package & Test | |
| working-directory: opam | |
| run: opam install . --verbose --with-test --yes |