Skip to content

Files

Latest commit

8cc6bd2 · Dec 11, 2020

History

History
This branch is 4 commits ahead of, 77 commits behind manubot/try-manubot:main.

ci

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.