Introduce EnumType, have Z3 support and XSTS use it - copyright headers #41
RipplB
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
linux-build-test-deploy.yml
on: push
Matrix: test-linux
javadoc
4m 58s
Matrix: deploy-docker
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
ThetaJars
Expired
|
126 MB |
|