KaaS Organization Setup
Last updated
Last updated
Welcome to KaaS! This guide will help you navigate through the initial setup process, including signing up, creating your first organization, and setting up a vault. Follow these steps to get started:
Access the KaaS Web App:
Open your web browser and navigate to the KaaS web application.
Create an Account:
Click on the Login button on the homepage.
Two Login Options:
Login with Github (Recommended)
Click on the Login with Github button.
You will be redirected to the Github login page.
After logging in, you will be redirected back to KaaS Dashboard.
Email/Password:
Fill in your details, including your email address and a secure password.
Submit the form to create your account.
Check your email inbox for a verification email from KaaS.
Screenshot of the sign-in page with fields for email and password.
Log In to Your Account:
Use your credentials to log in to the KaaS web app.
Navigate to Organizations: On first login you will be presented with a blank canvas.
If someone in your github organization has already imported an organization from Github you are part of. It will be listed on login.
Add a Github Connected Organization.
Watch a brief tutorial video adding an organization using the Github integration feature.
Additional Notes on Github Connected Organizations:
Github integration is required for remote compute execution.
Github integration is NOT required for storing kcfgs to a vault.
When selecting 'Add Organization' if your organization does not show up within a few seconds, Click "Install Github App" and make sure the app is installed for the organization.
If your repository is not showing up in the list of repositories, Check the to baner message and follow the instructions.
Troubleshooting Github Repo not showing:
Create a Non Github Organization:
Click on the Create New Organization button. Top Right of screen.
Enter the name of your organization. Must Start with '@'
Click Create
Access the Vaults Tab:
Connect a Github Repository as a KaaS Vault:
Click on the Connect Vault button.
Troubleshooting Github Repo not showing:
Adding a New Vault by Connecting a Github Repository:
A Tutorial on adding a new Github Connected Repository as a KaaS Vault and running a Kontrol Compute Job
Adding a Non Github Connected Vault:
From Organization > Vault Tab
Click Create Vault
Enter a Name. It must start with '@'
Click Create button.
If you have any questions or need further assistance, please refer to our support documentation or contact our support team. contact@runtimeverification.com Join our Discord Find us on Twitter
You are now ready to start using KaaS to manage your projects efficiently. If you have any questions or need further assistance, please refer to our support documentation or contact our support team.
If your repository is not showing up in the list of repositories, Check the to banner message and follow the instructions.
Click on an Organization. Navigate to the Vaults tab. Screenshot of the Vaults tab.
Select the repository you want to use for the vault. And click Connect Icon. Screenshot of the Connect Vault Icon.
If your repository is not showing up in the list of repositories, Check the to banner message and follow the instructions.