mluckcuck / autonomy-and-verification.github.io

Website for the Autonomy and Verification Network.

Home Page:https://autonomy-and-verification.github.io

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Autonomy and Verification Network website

Contact and Theme

This website has been built by Rafael Cardoso and Matt Luckcuck.

We are using the Jekyll theme Slim Pickins as our base theme.

Editing the Network's Website

This website is built using Jekyll, which compiles the files in this repository to produce a static HTML website.

The website can be edited either by cloning the repository and working locally, or directly in GitHub. Whichever method is used, when you want to make your changes live, make sure you commit your changes to the master branch. GitHub pages will automatically compile the files on the master branch, after a commit.

To reiterate this, anything committed to the master branch will go live automatically.

The Wiki contains various pages describing how to edit/manage the website:

About

Website for the Autonomy and Verification Network.

https://autonomy-and-verification.github.io

License:The Unlicense


Languages

Language:SCSS 72.1%Language:TeX 22.5%Language:HTML 4.3%Language:Ruby 1.2%