fix name
This commit is contained in:
parent
de714640bd
commit
80d6bdbb30
2
.github/workflows/metrics.yaml
vendored
2
.github/workflows/metrics.yaml
vendored
@ -1,4 +1,4 @@
|
||||
name: rustdoc
|
||||
name: metrics
|
||||
on:
|
||||
push:
|
||||
branches:
|
||||
|
@ -20,7 +20,7 @@ pub fn run_metrics() -> Result<()> {
|
||||
let _d = pushd("target/metrics");
|
||||
let mut file = std::fs::OpenOptions::new().append(true).open("metrics.json")?;
|
||||
writeln!(file, "{}", metrics.json())?;
|
||||
run!("git commit -am'📈'")?;
|
||||
run!("git commit --author='GitHub Action <>' -am'📈' ")?;
|
||||
|
||||
if let Ok(actor) = env::var("GITHUB_ACTOR") {
|
||||
let token = env::var("GITHUB_TOKEN").unwrap();
|
||||
|
Loading…
Reference in New Issue
Block a user