Jorge Aparicio 3dd6df0bd0 CI: build 0.4 docs from the v0.4.x branch ... instead of using a specific tag; this way documentation changes done to the v0.4.x branch will show up on the site as soon as they land -- right now they require publishing a new v0.4.x release on crates.io and manually updating the `after-success.sh` build script on master		2019-10-25 13:59:23 -05:00
..
expected	fix preempt example	2019-08-21 10:53:13 +02:00
after-success.sh	CI: build 0.4 docs from the v0.4.x branch	2019-10-25 13:59:23 -05:00
install.sh	v0.5.0 beta release	2019-10-15 16:35:00 -05:00
script.sh	ci: fix x86 build	2019-08-21 11:13:17 +02:00