Skip to content

Latest commit

 

History

History
33 lines (25 loc) · 1.1 KB

File metadata and controls

33 lines (25 loc) · 1.1 KB

Development Instructions

Install npm and clone this repository. Inside the repository, run:

  1. npm install, to install dependencies
  2. npm run build:server, to build contained lean projects under Projects/ (or run lake build manually inside any lean project)
  3. npm start, to start the server.

The project can be accessed via http://localhost:3000. (Internally, websocket requests to ws://localhost:3000/websockets will be forwarded to a Lean server running on port 8080.)

Testing

Automated integration tests using cypress.

  • Headless tests:
    npm test
    
  • Cypress also has an interactive UI. Run both of these commands simultaneously:
    npm start
    npx cypress open
    

The tests produce screenshots on failure. In the Github-CI, failing tests will produce screenshots and videos which will be attached as artifacts for inspection.