https://github.com/regadas/github-actions-dhall

Typecheck, template and modularize your Github Action definitions with Dhall
https://github.com/regadas/github-actions-dhall

dhall dhall-lang github-actions yaml

Last synced: 3 months ago
JSON representation

Typecheck, template and modularize your Github Action definitions with Dhall

• Host: GitHub
• URL: https://github.com/regadas/github-actions-dhall
• Owner: regadas
• Created: 2020-04-19T14:40:39.000Z (about 4 years ago)
• Default Branch: master
• Last Pushed: 2023-09-06T20:45:37.000Z (10 months ago)
• Last Synced: 2024-01-08T18:02:29.310Z (6 months ago)
• Topics: dhall, dhall-lang, github-actions, yaml
• Language: Dhall
• Homepage: https://regadas.dev/github-actions-dhall
• Size: 174 KB
• Stars: 106
• Watchers: 4
• Forks: 23
• Open Issues: 9
• Metadata Files:
  • Readme: README.md

Lists

• awesome-dhall - regadas/github-actions-dhall - Typecheck, template and modularize your GitHub Action definitions with Dhall. (Libraries)
• awesome-stars - regadas/github-actions-dhall - Typecheck, template and modularize your Github Action definitions with Dhall (github-actions)
• awesome-stars - regadas/github-actions-dhall - Typecheck, template and modularize your Github Action definitions with Dhall (Dhall)
• awesome - github-actions-dhall - Typecheck, template and modularize your Github Action definitions with Dhall (Dhall)
• awesome-stars - github-actions-dhall
• awesome-dhall - regadas/github-actions-dhall - Typecheck, template and modularize your Github Action definitions with Dhall. (Libraries)

README

        
# github-actions-dhall

Typecheck, template and modularize your Github Action definitions with [Dhall](https://github.com/dhall-lang).

## Usage

Import the `github actions` definitions as a `Dhall` package using:

```js

let GithubActions =

      https://regadas.dev/github-actions-dhall/package.dhall

```

[Workflow](types/Workflow.dhall) definition can be done by using the schema pattern and setting the appropriate values.

## Examples

- [hello-world.dhall](examples/hello-world.dhall)

```bash

curl https://regadas.dev/github-actions-dhall/examples/hello-world.dhall | dhall-to-yaml

```

- [scala.dhall](examples/scala.dhall)

```bash

curl https://regadas.dev/github-actions-dhall/examples/scala.dhall | dhall-to-yaml

```

- [release-scala.dhall](examples/release-scala.dhall)

```bash

curl https://regadas.dev/github-actions-dhall/examples/release-scala.dhall | dhall-to-yaml

```