GitHub Actions should cook database... #25

Open

opened

on Dec 31, 2023

Just to make sure there are no errors (and eventually to upload, for #9).

Metadata

Assignees

No one assigned

Labels

No labels

No labels

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests