Commit Graph

3 Commits

Author SHA1 Message Date
Connor Prussin
7dfc1ba32b
Rename master to main in github workflow 2021-11-20 09:47:43 -08:00
Connor Prussin
beb4621f4b
Update project setup (#183)
* Update project setup to use spago.

* Add license and repo info to spago.dhall

* Fix check.yaml

* Remove unused dependencies

* Remove --no-install from checks.yaml

* Minor cleanup

* Readd nix checks

* Migrate everything to spago & remove Makefile

* Split nix environment install from build in workflow

* Fix NIX_PATH

* Make build step of workflow build everything

* Fix github action

Co-authored-by: sigma-andex <sigma.andex@pm.me>
2021-11-12 23:46:59 -08:00
Connor Prussin
43f89f139b
Clean up github workflows (#172)
* Clean up workflows

* Remove build status badge
2021-03-22 12:20:17 -07:00