Package Usage: actions: rwe/actions-hlint-run

Run hlint and format the output for a problem matcher
3 versions
Latest release: plus de 4 ans ago

View more package details: https://packages.ecosystem.code.gouv.fr/registries/github%20actions/packages/rwe/actions-hlint-run

Dependent Repos 1

Deducteam/agda Fork of agda/agda

Agda is a dependently typed programming language / interactive theorem prover.

Size: 127 Mo - Last synced: 3 jours ago - Pushed: plus de 3 ans ago