1 2 3 4 5 6
Title: Add CI with github actions Author: rodarima Created: Sun, 10 Dec 2023 23:57:55 +0000 State: closed Adds a CI and fixes some problems with the distcheck target.
