workflow templates

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

Lean

package test

Racket

package test
gui package test
package coverage
gui package coverage
document publish to github pages

Julia

package test
document publish