diff options
Diffstat (limited to '.drone.yml')
| -rw-r--r-- | .drone.yml | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/.drone.yml b/.drone.yml index 75f7d89de..98e34cc4e 100644 --- a/.drone.yml +++ b/.drone.yml @@ -1,3 +1,9 @@ +# After updating this file, you need to re-sign it: +# +# - Install [drone-cli](http://readme.drone.io/usage/getting-started-cli/) +# - Copy your token from http://dotty-ci.epfl.ch/account (Click SHOW TOKEN) +# - (export DRONE_TOKEN=your-token; export DRONE_SERVER=http://dotty-ci.epfl.ch; drone sign lampepfl/dotty) + pipeline: test: image: lampepfl/dotty:latest |