search

ProfessionalWiki / ExternalContent

MediaWiki extension that allows embedding external content
https://professional.wiki/en/news/external-content
GNU General Public License v2.0
6 stars 4 forks source link

Bump CI action versions #23

Closed malberts closed 1 year ago

malberts commented 1 year ago

Checking if this helps with the seemingly random CI failures.