diff options
author | Aleksey Kladov <[email protected]> | 2020-07-24 19:53:08 +0100 |
---|---|---|
committer | Aleksey Kladov <[email protected]> | 2020-07-24 19:53:27 +0100 |
commit | c0b2b15123e500e5af90138646f20024ca746f86 (patch) | |
tree | 802deaf00f705e2370c238cfe92935e1100b0706 /xtask | |
parent | cc0c8b2882c7a0b00bc30e0c22040f7d4ba9f584 (diff) |
Fix metrics
Diffstat (limited to 'xtask')
-rw-r--r-- | xtask/src/metrics.rs | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/xtask/src/metrics.rs b/xtask/src/metrics.rs index 612bef51f..bb3044f41 100644 --- a/xtask/src/metrics.rs +++ b/xtask/src/metrics.rs | |||
@@ -17,17 +17,17 @@ pub fn run_metrics() -> Result<()> { | |||
17 | metrics.measure_build()?; | 17 | metrics.measure_build()?; |
18 | 18 | ||
19 | { | 19 | { |
20 | let _d = pushd("target/metrics"); | 20 | let _d = pushd("target"); |
21 | let api_token = env::var("METRICS_TOKEN").unwrap(); | ||
22 | let repo = format!("https://{}@github.com/rust-analyzer/metrics.git", api_token); | ||
23 | run!("git clone --depth 1 {}", repo)?; | ||
24 | let _d = pushd("metrics"); | ||
25 | |||
21 | let mut file = std::fs::OpenOptions::new().append(true).open("metrics.json")?; | 26 | let mut file = std::fs::OpenOptions::new().append(true).open("metrics.json")?; |
22 | writeln!(file, "{}", metrics.json())?; | 27 | writeln!(file, "{}", metrics.json())?; |
23 | run!("git add .")?; | 28 | run!("git add .")?; |
24 | run!("git -c user.name=Bot -c [email protected] commit --message 📈")?; | 29 | run!("git -c user.name=Bot -c [email protected] commit --message 📈")?; |
25 | 30 | run!("git push origin master")?; | |
26 | if let Ok(actor) = env::var("GITHUB_ACTOR") { | ||
27 | let token = env::var("GITHUB_TOKEN").unwrap(); | ||
28 | let repo = format!("https://{}:{}@github.com/rust-analyzer/metrics.git", actor, token); | ||
29 | run!("git push {}", repo)?; | ||
30 | } | ||
31 | } | 31 | } |
32 | eprintln!("{:#?}\n", metrics); | 32 | eprintln!("{:#?}\n", metrics); |
33 | eprintln!("{}", metrics.json()); | 33 | eprintln!("{}", metrics.json()); |