Skip to content
License Check and Multi-Platform Test

update to Z3 4.12.3 #84

Sign in to view logs

update to Z3 4.12.3

update to Z3 4.12.3 #84

Triggered via push January 18, 2024 12:27
@no-preserve-rootno-preserve-root
pushed 5e07d52
main
Status Success
Total duration 11m 57s
Artifacts –

test.yml

on: push
Check for modified Gradle
4s
Check for modified Gradle
Run Spotless
1m 12s
Run Spotless
Matrix: test
Fit to window
Zoom out
Zoom in