Stainless-codespaces

This repository is a template for creating a Stainless project in a GitHub Codespace.

To use this template, fork it and then create a new codespace from it. To do so:

go to github.com
on the top right corner, click on your profile picture
go to "Your codespaces"
click on "New codespace"
select this repository in the "Repository" dropdown
select the configuration you want to use from the "Dev container configuration" dropdown
- the "Stainless Dockerfile" configuration will use the provided Dockerfile to build the container, installing the latest version of Stainless in the process. This might take some time
select the machine type you need in the "Machine type" dropdown
click on "Create codespace"
wait for the codespace to be created
you can now access your codespace by either:
- working in the browser, in the tab that just opened
- opening VS Code on your computer and connecting to the codespace from there, by clicking on the botton left corner button, selecting "Connect to a codespace", and selecting the codespace that was just created.
You can also connect to the server via ssh using the Github CLI with this command: gh cs ssh (you might need to login, the command will output the instructions).

Running Stainless

to run stainless, open a terminal and run stainless-dotty --help.
to verify the sample project, navigate to ./src and run stainless-dotty Example.scala