Add implication and convert to Minion · conjure-cp/conjure-oxide@18c6101

Triggered via pull request January 14, 2025 17:16

opened #590

nik/implies

Status Success

Total duration 7m 41s

Artifacts 2

code-coverage.yml

on: pull_request

2 warnings

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

Produced during runtime

Name	Size
code-coverage-18c6101f9a8756c5eebf3ebea7d0943b791ddd89	446 KB
pr-doc-coverage-summary	300 Bytes