Build Target Fetching #
Utilities for fetching package, library, module, and executable targets and facets.
Package Facets & Targets #
Fetch the build job of the specified package target.
Instances For
Fetch the build result of a target.
Instances For
Fetch the build job of the target.
Instances For
Fetch the build result of a package facet.
Instances For
Fetch the build job of a package facet.
Instances For
Fetch the build job of a library facet.
Instances For
Module Facets #
Fetch the build result of a module facet.
Instances For
Fetch the build job of a module facet.
Instances For
Fetch the build job of a module facet.
Instances For
Lean Library Facets #
Get the Lean library in the workspace with the configuration's name.
Instances For
Fetch the build result of a library facet.
Instances For
Fetch the build job of a library facet.
Instances For
Fetch the build job of a library facet.
Instances For
Lean Executable Target #
Get the Lean executable in the workspace with the configuration's name.
Instances For
Fetch the build of the Lean executable.