xcfa projection + separate mayCover versions for CEGAR and other algo… #247

Triggered via push September 20, 2023 15:36

xcfa-refactor

Status Success

Total duration 18m 8s

Artifacts 1

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

linux-build-test-deploy.yml

on: push

Matrix: test-docker

Matrix: test-linux

Matrix: deploy-docker

Produced during runtime

Name	Size
ThetaJars Expired	263 MB