pdidev / pdi

The PDI Data Interface
https://pdi.dev
BSD 3-Clause "New" or "Revised" License
6 stars 0 forks source link

Switch from GitLab CI to GitHub action for pages deployment #462

Closed jbigot closed 2 months ago

jbigot commented 2 months ago

Short description of the MR

Switch from GitLab CI to GitHub action for pages deployment

List of things to check before making a MR

Before merging your code, please check the following: