git config user name email in cov CI

.github/workflows/test-coverage.yaml

@@ -17,6 +17,12 @@ jobs:
     steps:
       - uses: actions/checkout@v3
 
+      - name: git config user.name
+        run: git config --global user.name "atime GitHub Actions"
+
+      - name: git config user.email
+        run: git config --global user.email [email protected]
+
       - uses: r-lib/actions/setup-r@v2
         with:
           use-public-rspm: true

R/versions.R

@@ -124,10 +124,17 @@ atime_versions_install <- function(Package, pkg.path, new.Package.vec, sha.vec,
 atime_versions <- function(pkg.path, N=default_N(), setup, expr, sha.vec=NULL, times=10, seconds.limit=0.01, verbose=FALSE, pkg.edit.fun=pkg.edit.default, result=FALSE, ...){
   ver.args <- list(
     pkg.path, substitute(expr), sha.vec, verbose, pkg.edit.fun, ...)
-  ver.exprs <- do.call(atime_versions_exprs, ver.args)
+  install.seconds <- system.time({
+    ver.exprs <- do.call(atime_versions_exprs, ver.args)
+  })[["elapsed"]]
   a.args <- list(
     N, substitute(setup), ver.exprs, times, seconds.limit, verbose, result)
-  do.call(atime, a.args)
+  bench.seconds <- system.time({
+    out.list <- do.call(atime, a.args)
+  })[["elapsed"]]
+  out.list$install.seconds <- install.seconds
+  out.list$bench.seconds <- bench.seconds
+  out.list
 }
 
 get_sha_vec <- function(sha.vec, dots.vec){