Skip to content
This repository has been archived by the owner on Oct 26, 2023. It is now read-only.

Latest commit

 

History

History
20 lines (13 loc) · 333 Bytes

README.md

File metadata and controls

20 lines (13 loc) · 333 Bytes

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