diff options
| author | Nick Fitzgerald <fitzgen@gmail.com> | 2017-07-10 10:11:38 -0700 |
|---|---|---|
| committer | Nick Fitzgerald <fitzgen@gmail.com> | 2017-07-10 10:13:38 -0700 |
| commit | f37aeb394f2ccd63f360525748c77ff6a28a072b (patch) | |
| tree | 817210a34ba7a928875231368f191c024164e096 /src/codegen/mod.rs | |
| parent | e425257ca2dbcfcc9aa059bf8ab5458662deed97 (diff) | |
Actually run the book deploy script in CI
The old checks to prevent deploying multiple times ended up making it so we
never deployed because we changed the environment variables we used in CI. This
change means we will deploy multiple times for every push, but this is an
idempotent operation, and makes sure that we won't ever run into the same bug
again.
Diffstat (limited to 'src/codegen/mod.rs')
0 files changed, 0 insertions, 0 deletions