aboutsummaryrefslogtreecommitdiff
path: root/.github
AgeCommit message (Expand)Author
2020-11-20Update nix.ymlCyril Cohen
2020-10-07Turn class_of records into primitive records and get rid of the xclass idiomKazuhiko Sakaguchi
2020-08-26Update pull_request_template.mdCyril Cohen
2020-06-08Cachix action (#525)Cyril Cohen
2020-06-03update default nix and setup cachixCyril Cohen
2019-11-14Update pull_request_template.mdCyril Cohen
2019-05-29Update pull_request_template.mdCyril Cohen
2019-05-29Update pull_request_template.mdCyril Cohen
2019-05-29pr templateCyril Cohen