Skip to content
Test external projects

ci: use yices2 for test-external (#341) #388

Sign in to view logs

ci: use yices2 for test-external (#341)

ci: use yices2 for test-external (#341) #388

Triggered via push August 13, 2024 22:31
@karmacoma-ethkarmacoma-eth
pushed 96bf260
main
Status Success
Total duration 27m 10s
Artifacts –

test-external.yml

on: push
Matrix: test
Fit to window
Zoom out
Zoom in