Difference between revisions of "PKC Workflow/Input"
Jump to navigation
Jump to search
Line 1: | Line 1: | ||
{{:PKC Workflow/System Verification/Input}} | {{:PKC Workflow/System Verification/Input}} | ||
{{:PKC Workflow/Jenkins Integration/Input}} | {{:PKC Workflow/Jenkins Integration/Input}} | ||
{{:PKC Workflow/Docker Registry/Input}} | {{:PKC Workflow/Docker Registry/Input}} |
Revision as of 06:50, 28 August 2021
- Software/TLA+ Tools
- PKC System Specification
- Knowledge/TLA+ Tools
- Jenkins setup
- A service namespace
- Docker
- Docker registry tutorial
- Image Naming