minor gitignore additions
[summerhack] / .github / workflows /
2022-12-19 John Tsiombikasautobuild