Dan Gohman 6080eeb544 Add a reminder to create the PR to the end of the publish script. ...

With all the sleeps between commands, the publish script takes a few
miniutes to run, and it can be easy to forget to create the PR when it
finishes. Add a reminder to be displayed at the end of the script.

2020-01-13 11:04:46 +01:00

cranelift

Add a reminder to create the PR to the end of the publish script.

2020-01-13 11:04:46 +01:00

Description

No description provided

125 MiB

Languages

Rust 77.8%

WebAssembly 20.6%

C 1.3%