actions-marketplace-validations/pfsc-repo-build

Builds a Proofscape content repo

Trust Signals

Scorecard Score: not yet scored
Maintenance Recency: Stalelast commit Jun 7, 2024
License: MIT

Pinned Snippet

workflow.ymlSHA-pinned

uses: actions-marketplace-validations/proofscape_pfsc-repo-build-action@5155020c5450afdbd005ea5976584efa31cd31ae # no releases — HEAD as of 2026-07-13

tags can be moved; commit SHAs can't. why a SHA?

Inputs

name	description	required	default
content-repo	The owner/reponame of the Proofscape content repo to be built. Defaults to the value of `github.repository`.	—	${{ github.repository }}
content-vers	The version at which to build the Proofscape content repo. If unspecified, build @WIP, meaning the reference or SHA that triggered the workflow, or the default branch if no such event.	—	WIP
clean	Whether to do a clean build, ensuring all modules are re-read from source.	—	false
pise-vers	PISE version to use when building. This is the tag for the `proofscape/pise` docker image that will be used to perform the build. Must be `0.28.0` or later. To use earlier versions of PISE, must use `v1` of this `pfsc-repo-build-action`. No default; this argument is REQUIRED. Legal values include 'latest', as well as numbered versions such as '0.29.1' or '0.30.0'.	—	—
workspace	Working directory, i.e. space in which to do things like checkout the content repo. The latter will be checked out under `./proofscape/lib/gh` relative to this directory. Default is the value of `github.workspace`.	—	${{ github.workspace }}
lib-volume	Name of docker volume to use for the lib directory. After the build completes (if successful), this volume will be populated with the contents of `./proofscape/lib`. Can be useful in later steps, if desired. Default: `pfsc-lib`	—	pfsc-lib
build-volume	Name of docker volume to use for the build directory. After the build completes (if successful), this volume will be populated with the contents of `./proofscape/build`. Can be useful in later steps, if desired. Default: `pfsc-build`	—	pfsc-build
gdb-volume	Name of docker volume to use for the graphdb directory. After the build completes (if successful), this volume will be populated with the contents of `./proofscape/graphdb`. Can be useful in later steps, if desired. Default: `pfsc-gdb`	—	pfsc-gdb
container-persist	Whether to keep the PISE container running after completing.	—	false
container-name	The name of the PISE docker container in which the build takes place. Default: pise	—	pise
debug-level	Controls diagnostic log output	—	1

Outputs

no outputs