diff options
| author | Ben Sturmfels <ben@sturm.com.au> | 2021-08-23 16:34:34 +1000 |
|---|---|---|
| committer | Ben Sturmfels <ben@sturm.com.au> | 2021-08-23 17:43:01 +1000 |
| commit | 712728c331ea3518b1964bbc7fcf06ff2c567064 (patch) | |
| tree | 46d0dc6c45d6ab05f6bcd541c9505ec5382ff17a /docs/source/conf.py | |
| parent | 8c44544817dae1eb95e771c720ff20917d274d54 (diff) | |
| download | mediagoblin-712728c331ea3518b1964bbc7fcf06ff2c567064.tar.lz mediagoblin-712728c331ea3518b1964bbc7fcf06ff2c567064.tar.xz mediagoblin-712728c331ea3518b1964bbc7fcf06ff2c567064.zip | |
Base our SourceHut CI builds on Docker.
This allows us to use an identical build in CI and in local development. Not the
most optimal for CI, but means less to maintain and no inconsistencies.
Diffstat (limited to 'docs/source/conf.py')
0 files changed, 0 insertions, 0 deletions