GPL Linux ARM64 release

cvc5-1.2.1 #1

Sign in to view logs

Triggered via release October 5, 2024 18:10

abdoo8080

published cvc5-1.2.1

Status Skipped

Total duration 3s

Artifacts –

gpl-linux-arm64.yml

on: release

Matrix: build