Skip to content

Enable ossf scorecard scans #6

Enable ossf scorecard scans

Enable ossf scorecard scans #6

Workflow file for this run

name: pull-request
on:
pull_request:
workflow_dispatch:
permissions: read-all
env:
OPAMROOT: ${{ github.workspace }}/.opam
jobs:
test:
runs-on: ubuntu-latest
steps:
- name: Check out
uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683 # v4.2.2
with:
submodules: recursive
- name: Install dependencies
run: |
sudo apt update
sudo apt-get install -y libgmp-dev opam pkg-config
# install clang-16
sudo apt install -y lsb-release wget software-properties-common gnupg
wget https://apt.llvm.org/llvm.sh
chmod +x llvm.sh
sudo ./llvm.sh 16
python3 -m pip install --no-deps --require-hashes --requirement requirements.txt
opam init --no-setup --disable-sandboxing --compiler=4.14.2
opam install . --deps-only --with-test --with-doc --yes
- name: Build
run: |
eval $(opam env)
make build
- name: Test
run: |
eval $(opam env)
make test
- name: Build documentation
run: |
eval $(opam env)
make doc