CI-Tests

Introduce `incompleteGlobal` analysis round, other changes #128

Sign in to view logs

Triggered via pull request December 15, 2023 16:16

sifislag

opened #120

unsoundness_global_experiment

Status Success

Total duration 26m 25s

Artifacts –

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

run-tests.yml

on: pull_request