Skip to content

github: Allow to manually trigger the website build#17

Merged
joaquimrocha merged 1 commit intomainfrom manual-triggerOct 17, 2023

Commits

Commits on Oct 16, 2023