colinwahl / hello-world-purescript-action

A template to demonstrate how to build a GitHub Action via PureScript.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Hello world PureScript action

This action prints "Hello" + the name of a person to greet to the log. This is a PureScript port of "Creating a JavaScript action" in the GitHub Help documentation.

Usage

This repository serves as a template for creating more advanced Actions in PureScript.

To create your own Action via PureScript, expand this template by defining your Action in PureScript in the src directory. Once that is defined, you can update action.yml to specify usage. Then you just need to run npm run-script build to bundle your PureScript Action into the dist/index.js file before publishing!

See GitHub's docs on Actions for in-depth information on Actions. See purescript-github-actions-toolkit for documentation on the PureScript bindings to Github's Actions Toolkit.

Inputs

who-to-greet

Required The name of the person to greet. Default "PureScript User".

Outputs

what-is-purescript

A description of the PureScript language.

Example usage

uses: hello-world-purescript-action@main
with:
  who-to-greet: 'PureScript User'

About

A template to demonstrate how to build a GitHub Action via PureScript.


Languages

Language:PureScript 50.3%Language:Dhall 46.1%Language:JavaScript 3.7%