ci: remove github workflows
Build and test on MRs but remove all otherworkflows in favor of tangled
quietengineer.fyi 6 months ago b73410a4 317b03d4