Skip to content

moves-rwth/storm-website

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

How it works

On every push to main, the website is automatically build using jekyll and GitHub Actions, and afterwards deployed. Note that the whole deployment process takes a few minutes.

Contributing

The easiest way to suggest changes and additions to the website is to fork this repository and create a pull request to main. Of course, you can also write us an email 📧 support at stormchecker.org

Building the website locally

If you want to check your local changes before making them public, you have to install jekyll and its prerequisites. You can then use the provided Gemfile in the directory via:

bundle install

To build the website (and automatically rebuild after each modification) run the following:

bundle exec jekyll serve --livereload

If there are no errors reported, you can browse to http://localhost:4000 to open the website.

To test whether all links in the website are valid run the following:

bundle exec rake test

To test whether all links provided in published papers remain valid run the following:

bundle exec rake test_paper_links