Skip to content

Latest commit

 

History

History

ci

Folders and files

NameName
Last commit message
Last commit date

parent directory

..
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Continuous integration tools

This directory contains tools and files for continuous integration (CI). Specifically, deploy.sh runs on successful main branch builds that are not pull requests. The contents of ../webpage are committed to the gh-pages branch. The contents of ../output are committed to the output branch.

For more information on the CI implementation, see the CI setup documentation in SETUP.md.