Merge pull request #9 from rudymatela/feat/report-counterexample-lc #2

Sign in to view logs

Triggered via push August 18, 2023 22:36

shapr

main

Status Success

Total duration 5m 3s

Artifacts –

build.yml

on: push