Framagit : how to render HTML files on frama.io

Framagit allows you to deploy websites built with static site generators, like Hugo.

But it’s also possible to render directly an HTML file, eventually with CSS and JS.

Here is a short howto:

Upload your HTML file to your Framagit repository, then add the following file .gitlab-ci.yml at the root of your project:

pages:
 script:
 - mkdir .public
 - cp -r * .public
 - mv .public public
 artifacts:
    paths:
    - public
 only:
 - master

That’s it! Now your file is available at

https://your-name.frama.io/project-name/filename.html

Please note that your repository must be public (in Settings → Visibility) if you want to allow unregistered users to read your file.

Further reading:

frama.io webdev