Skip to content
Scala 2 CI

2018-23 - Using Z3 from Scala #99

Sign in to view logs

2018-23 - Using Z3 from Scala

2018-23 - Using Z3 from Scala #99

Triggered via push December 13, 2023 18:31
@juriskjurisk
pushed c61f0cf
main
Status Success
Total duration 2m 14s
Artifacts –

scala2.yml

on: push
build
2m 6s
build
Fit to window
Zoom out
Zoom in