Skip to content
coverage

Improve loop bound detection for loop unrolling by handling casts in loop statements #2371

Sign in to view logs

Improve loop bound detection for loop unrolling by handling casts in loop statements

Improve loop bound detection for loop unrolling by handling casts in loop statements #2371

Workflow file for this run

.github/workflows/coverage.yml at 872b159
name: coverage
on:
pull_request:
workflow_dispatch:
schedule:
# nightly
- cron: '31 1 * * *' # 01:31 UTC, 02:31/03:31 Munich, 03:31/04:31 Tartu
# GitHub Actions load is high at minute 0, so avoid that
jobs:
coverage:
strategy:
fail-fast: false
matrix:
os:
- ubuntu-22.04 # https://github.com/ocaml/setup-ocaml/issues/872
ocaml-compiler:
- ocaml-variants.4.14.2+options,ocaml-option-flambda # matches opam lock file
# don't add any other because they won't be used
runs-on: ${{ matrix.os }}
env:
OCAMLRUNPARAM: b
steps:
- name: Checkout code
uses: actions/checkout@v4
- name: Set up OCaml ${{ matrix.ocaml-compiler }}
env:
# otherwise setup-ocaml pins non-locked dependencies
# https://github.com/ocaml/setup-ocaml/issues/166
OPAMLOCKED: locked
uses: ocaml/setup-ocaml@v3
with:
ocaml-compiler: ${{ matrix.ocaml-compiler }}
- name: Install graph-easy # TODO: remove if depext --with-test works
if: ${{ matrix.os == 'ubuntu-22.04' }}
run: sudo apt install -y libgraph-easy-perl
- name: Install dependencies
run: opam install . --deps-only --locked --with-test
- name: Install coverage dependencies
run: opam install bisect_ppx
- name: Build
run: ./make.sh coverage
- name: Download Linux headers
run: ./make.sh headers
- name: Test
run: opam exec -- dune runtest --instrument-with bisect_ppx
- run: opam exec -- bisect-ppx-report send-to Coveralls
env:
COVERALLS_REPO_TOKEN: ${{ secrets.COVERALLS_REPO_TOKEN }}
PULL_REQUEST_NUMBER: ${{ github.event.number }}
- uses: actions/upload-artifact@v4
if: always()
with:
name: suite_result
path: tests/suite_result/