It is supposed to be run from Jenkins, but you can also invoke it from a live system. Documentation is coming soon, right now you can consult with Jenkinsfile.
isabelle-platform/release-generator
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|