omelkonian/Setup Agda

Set up a specific version of Agda and its standard library and add the command-line tools to the PATH

Trust Signals

name	description	required	default
agda-version	Version of Agda to use. If set to "latest", it will always get the latest stable version.	no	latest
stdlib-version	Version of the Agda standard library to use. If set to "latest", it will always get the latest stable version.	no	latest
libraries	Provide extra libraries (from git repositories) to install, e.g. "omelkonian/formal-prelude\n UlfNorell/agda-prelude#compat-2.5.2".	no	""
build	Whether to build the Agda project.	no	true
dir	Main folder of your Agda source (the `include` field of the .agda-lib file)	no	.
main	Entry point for your Agda project without the '.agda' extension or root folder, e.g. 'Data.Nat'	no	Main
cache	Whether to cache CI builds.	—	true
deploy	Whether to deploy the Github page, containing the Agda code rendered in HTML.	no	false
token	Secret token for deploying to Github Pages, will not deploy if not set to GITHUB_TOKEN.	no	—
deploy-branch	On which branch to deploy the Github page.	no	gh-pages
css	Optional .css file to use for HTML-rendered Agda code, a path relative to the project's root.	no	—
rts	Optional RTS options for GHC.	no	""
ribbon	Include a Github ribbon on every generated HTML file.	no	false
ribbon-msg	Ribbon message to display.	no	Source code on Github
ribbon-color	Ribbon color (in CSS-compliant format).	no	#333
measure-typechecking	Measure typechecking time for each (by inspecting the generated .agdai files).	no	false

no outputs