ProfessionalWiki / PersistentPageIdentifiers

MediaWiki extension that adds persistent identifiers to wiki pages
https://professional.wiki/en/extension/persistent-page-identifiers
GNU General Public License v2.0
1 stars 0 forks source link

Run CI with MySQL and SQLite #24

Closed malberts closed 1 week ago

malberts commented 1 week ago

From https://github.com/ProfessionalWiki/PersistentPageIdentifiers/pull/20#discussion_r1838980679

All jobs don't necessarily have to run on both. Figure out an acceptible spread.

waximabbax commented 1 week ago

I am planning to work on this in the next 4-20 hours but I don't wanna cookie-lick it. So I'll assign it to myself when I start, before that feel free to work on this if its important to you.