Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
ci: add workflow file for GitHub action
Must do this on master, or it won't run. Not supposed to pass (because PG16 is not supported and because it'll need to install pgmp-dev)
- Loading branch information