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.
-
Notifications
You must be signed in to change notification settings - Fork 0
isabelle-platform/release-generator
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Release generator
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published