Test long

ci: pin yices2=2.6.4 (#320) #319

Sign in to view logs

Triggered via push June 26, 2024 22:25

daejunpark

main

Status Success

Total duration 4m 29s

Artifacts –

test-long.yml

on: push

Matrix: test