RISC V and PowerPC 64

track quantifier instantiation method in proof hint #7080 #3393

# to view logs

Triggered via push January 21, 2024 01:44

master

Status Success

Total duration 17m 21s

Artifacts –

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

cross-build.yml

on: push

Matrix: build