dannypsnl / .github

GitHub workflow templates

workflow templates

To use this package, just fork it, then when you create any github action you can use templates from here.

Lean

1. package test

Racket

1. package test
2. gui package test
3. package coverage
4. gui package coverage
5. document publish to github pages

Julia

1. package test
2. document publish