Skip to content
coverage

Propagate bottom through narrowing operators of lattice lifters #2134

Sign in to view logs

Propagate bottom through narrowing operators of lattice lifters

Propagate bottom through narrowing operators of lattice lifters #2134

Triggered via pull request July 11, 2024 10:48
@Red-Panda64Red-Panda64
opened #1543
Red-Panda64:bottom-propagation
Status Success
Total duration 9m 57s
Artifacts –

coverage.yml

on: pull_request
Matrix: coverage
Fit to window
Zoom out
Zoom in

Annotations

1 warning
coverage (ubuntu-latest, ocaml-variants.4.14.0+options,ocaml-option-flambda)
No files were found with the provided path: tests/suite_result/. No artifacts will be uploaded.