Skip to content

got rid of travis stuff and added github actions badge to readme#729

Merged
ketch merged 2 commits intoclawpack:masterfrom
pavelkomarov:nix_travis
Oct 6, 2024
Merged

got rid of travis stuff and added github actions badge to readme#729
ketch merged 2 commits intoclawpack:masterfrom
pavelkomarov:nix_travis

Commits