CI

Merge pull request #477 from SRI-CSL/mcsat-model-hint-registration-qu… #277

Sign in to view logs

Triggered via push November 18, 2023 22:19

disteph

master

Status Success

Total duration 8m 0s

Artifacts –

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

ci.yml

on: push

Matrix: build