Merge pull request #13940 from jacktose-forks/info-json-time

add installed time to `git info --json` output
This commit is contained in:
Mike McQuaid 2022-10-04 09:04:47 +01:00 committed by GitHub
commit e2494a7ca3
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -2130,6 +2130,7 @@ class Formula
"used_options" => tab.used_options.as_flags, "used_options" => tab.used_options.as_flags,
"built_as_bottle" => tab.built_as_bottle, "built_as_bottle" => tab.built_as_bottle,
"poured_from_bottle" => tab.poured_from_bottle, "poured_from_bottle" => tab.poured_from_bottle,
"time" => tab.time,
"runtime_dependencies" => tab.runtime_dependencies, "runtime_dependencies" => tab.runtime_dependencies,
"installed_as_dependency" => tab.installed_as_dependency, "installed_as_dependency" => tab.installed_as_dependency,
"installed_on_request" => tab.installed_on_request, "installed_on_request" => tab.installed_on_request,