ayberkt/Agda GitHub action
GitHub action for typechecking your Agda code
View on GitHubTrust Signals
- Scorecard Score
- not yet scored
- Maintenance Recency
- Stale
- License
- None
Inputs
| name | description | required | default |
|---|---|---|---|
| main-file | Main file of the Agda development | yes | Main.agda |
| source-dir | The name of the directory where your code lives | yes | src |
| unsafe | Do not use the --safe flag | no | false |
| html | Whether to generate HTML from Agda | no | true |
| stdlib | Whether to make a copy of the standard library | no | false |
| css | Location of custom CSS to use. If using a relative path, must be relative to the source directory. | no | — |
Outputs
no outputs